From: Jeanderson Candido Date: Mon, 18 Jun 2018 18:28:19 +0000 (-0300) Subject: Removed META-INF directory X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=c0c3ef2475f5c20378321e0dc2069744e1a63462;ds=inline Removed META-INF directory --- diff --git a/META-INF/RunJPF/MANIFEST.MF b/META-INF/RunJPF/MANIFEST.MF deleted file mode 100644 index a270c0c..0000000 --- a/META-INF/RunJPF/MANIFEST.MF +++ /dev/null @@ -1,3 +0,0 @@ -Manifest-Version: 1.0 -Main-Class: gov.nasa.jpf.tool.RunJPF -