diff options
Diffstat (limited to 'tools/merge_sth.py')
| -rwxr-xr-x | tools/merge_sth.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/merge_sth.py b/tools/merge_sth.py index 28ad34f..f4aec53 100755 --- a/tools/merge_sth.py +++ b/tools/merge_sth.py @@ -3,7 +3,10 @@ # # Copyright (c) 2014-2015, NORDUnet A/S. # See LICENSE for licensing information. - +# +# Generate a new 'sth' file. +# See catlfish/doc/merge.txt for more about the merge process. +# import sys import json import urllib2 |