db/sort.py
changeset 1513 e7f7e42385b5
parent 457 7802147af797
     1.1 --- a/db/sort.py	Wed Dec 21 16:55:10 2016 +0100
     1.2 +++ b/db/sort.py	Tue Dec 27 21:13:41 2016 +0100
     1.3 @@ -1,5 +1,9 @@
     1.4  #! /usr/bin/env python3
     1.5  
     1.6 +# This file is under GNU General Public License 3.0
     1.7 +# see LICENSE.txt
     1.8 +
     1.9 +
    1.10  from argparse import ArgumentParser
    1.11  from fileinput import FileInput, hook_encoded
    1.12  import re, itertools, sys