# HG changeset patch
# User HackBot
# Date 1481767513 0
# Node ID 8fa7b097affc4d059899216ce9ff553b27ea4faa
# Parent  b4b5bb1ac820a0c5fbd85d4b1c3425930d82bc1b
<oerjan> undo 9983

diff -r b4b5bb1ac820 -r 8fa7b097affc bin/pad
--- a/bin/pad	Thu Dec 15 01:58:38 2016 +0000
+++ b/bin/pad	Thu Dec 15 02:05:13 2016 +0000
@@ -0,0 +1,1 @@
+pad="$1"; shift; echo "$@" >> "tmp/pad.$pad"