mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 13:09:33 -06:00
4 lines
109 B
Plaintext
4 lines
109 B
Plaintext
Manifest-Version: 1.0
|
|
Main-Class: de.uka.ilkd.key.ocl.gf.GFEditor2
|
|
Class-Path: log4j-1.2.8.jar jargs-1.0.jar
|