projects
/
jpf-core.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
a270c0c8f3f4b79367bbeb7bde507c8c15626d40
[jpf-core.git]
/
META-INF
/
RunJPF
/
MANIFEST.MF
1
Manifest-Version: 1.0
2
Main-Class: gov.nasa.jpf.tool.RunJPF
3