projects / jpf-core.git / blob
? search:


a270c0c8f3f4b79367bbeb7bde507c8c15626d40
[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.