diff options
| author | Linus Nordberg <linus@nordu.net> | 2016-11-17 10:36:34 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2016-11-25 10:56:09 +0100 |
| commit | e133280625b4f3214ab1c792bd0fb511e0dcfb2d (patch) | |
| tree | ecb4b5e0ac7a475e18094fb76074d93b8315ba60 /tools/merge_sth.py | |
| parent | 9f436ce835aba793cc06525e160bd2e07dd8f7cd (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 |