MANIFEST.MF 57 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1
Manifest-Version: 1.0
2
Main-Class: de.tum.niwo.LTLCLI
Christian Müller's avatar
Christian Müller committed
3