tree b7d087af0c220f3f0a1310cf97ec64fca644138b
parent fc3a0ee295c383fabad7d2da34ffc6b37a344896
author Marc Kupietz <kupietz@ids-mannheim.de> 1720194655 +0200
committer Akron <nils@diewald-online.de> 1731677990 +0100

Allow for multiple input documents as command line args

Change-Id: I1acd812771cb1e224f018ef82623c9a7c3df1f99