From 055c0d0d5a5bb0dc75904fe53df7f2e4f5732a8f Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 21 May 2008 09:26:44 +0000 Subject: GF/src is now for 2.9, and the new sources are in src-3.0 - keep it this way until the release of GF 3 --- src-2.9/JavaGUI2/ManifestMain.txt | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 src-2.9/JavaGUI2/ManifestMain.txt (limited to 'src-2.9/JavaGUI2/ManifestMain.txt') diff --git a/src-2.9/JavaGUI2/ManifestMain.txt b/src-2.9/JavaGUI2/ManifestMain.txt deleted file mode 100644 index b398ff78d..000000000 --- a/src-2.9/JavaGUI2/ManifestMain.txt +++ /dev/null @@ -1,3 +0,0 @@ -Manifest-Version: 1.0 -Main-Class: de.uka.ilkd.key.ocl.gf.GFEditor2 -Class-Path: log4j-1.2.8.jar jargs-1.0.jar -- cgit v1.2.3