src/Tools/jEdit/manifest.mf
author wenzelm
Mon, 20 Oct 2008 17:02:03 +0200
changeset 34328 be2e9e6726af
parent 34320 883dc8fc3328
permissions -rw-r--r--
added application.args (Why does it end up in pricate properties?);

Manifest-Version: 1.0
X-COMMENT: Main-Class will be added automatically by build