tools: Insert thousands-separators
authorWerner Koch <wk@gnupg.org>
Fri, 12 May 2017 10:34:07 +0000 (12:34 +0200)
committerWerner Koch <wk@gnupg.org>
Fri, 12 May 2017 10:34:07 +0000 (12:34 +0200)
commit0d64d3a1232e0c8a04f7b6a8fddfe9d092013c75
tree2660005b59ac9847201670efc2915f0c0984e5f9
parent570b0a54c703d38d87a01d62dfe6fa60a58f152a
tools: Insert thousands-separators

Note that this requires gawk.
tools/append-to-donors.sh
tools/mkkudos.sh