ManifestMain.txt « JavaGUI2 « src-3.0 - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/src-3.0/JavaGUI2/ManifestMain.txt

blob: b398ff78d3ef54192c387e0a77c9c923eb61daac (plain)

1
2
3

Manifest-Version: 1.0
Main-Class: de.uka.ilkd.key.ocl.gf.GFEditor2
Class-Path: log4j-1.2.8.jar jargs-1.0.jar