tree d6ab9a379051366c1c91cedad3655b9d1ca0122f
parent 4372ca5fc80d26b046b80974c9a409b608e5142b
author Marc Kupietz <kupietz@ids-mannheim.de> 1753001234 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1753342939 +0200

Allow also json/json.gz tar(.gz)s as Krill-Indexer input files

Change-Id: I80c839deb50be33e70903a5b406bac138f60056f