debian - Revision 2717: /libjpf-java/trunk

• ..
• BUILD.txt
• MAVEN.txt
• README.txt
• build.properties
• build.xml
• changelog.txt
• debian/
• jdocs/
• jpf-boot-pom.xml
• jpf-pom.xml
• license.txt
• source/
• source-boot/
• source-tools/