diff options
| author | Linus Nordberg <linus@nordu.net> | 2016-11-17 10:36:34 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2016-11-17 10:36:34 +0100 |
| commit | 27e368196ce65e109c027987c706a697356f7bc5 (patch) | |
| tree | a14734978a9b59fa898639e138d27cb1a42538f5 /tools/merge_sth.py | |
| parent | 034c40cc84f28fd970fc649ffe7eb7fe797479a6 (diff) | |
Add a bit of documentation.
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 |