Add tools/update-thanks script
commit0a236c7c70a5d3b9f921338fca8ea67196a05c12
authorHolger Weiss <holger@zedat.fu-berlin.de>
Mon, 15 Dec 2014 21:35:02 +0000 (15 22:35 +0100)
committerHolger Weiss <holger@zedat.fu-berlin.de>
Mon, 15 Dec 2014 21:35:02 +0000 (15 22:35 +0100)
tree292b3a01f37f09f8e4022f7af1f079439e80ca46
parent8235fd0aef2945e0d638fba3493134588d085d5a
Add tools/update-thanks script

The tools/update-thanks script can be used to update the THANKS.in file.
tools/update-thanks [new file with mode: 0755]