projects / jpf-core.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Fix incorrect IncompatibleClassChangeError in ClassInfo.getDefaultMethod (#7)
[jpf-core.git] / META-INF / RunJPF / MANIFEST.MF
1 Manifest-Version: 1.0
2 Main-Class: gov.nasa.jpf.tool.RunJPF
3
Unnamed repository; edit this file 'description' to name the repository.