From: John W. <joe...@us...> - 2004-08-27 01:02:44
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7373 Modified Files: javabdd.jardesc Log Message: Index: javabdd.jardesc =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/javabdd.jardesc,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** javabdd.jardesc 28 Jun 2004 08:02:45 -0000 1.3 --- javabdd.jardesc 27 Aug 2004 01:02:35 -0000 1.4 *************** *** 1,20 **** ! <?xml version="1.0" encoding="UTF-8"?> ! <jardesc> ! <jar path="JavaBDD/javabdd.jar"/> ! <options overwrite="true" compress="true" exportErrors="true" ! exportWarnings="true" saveDescription="true" ! descriptionLocation="/JavaBDD/javabdd.jardesc" ! useSourceFolders="false" buildIfNeeded="true"/> ! <manifest manifestVersion="1.0" usesManifest="true" ! reuseManifest="false" saveManifest="false" ! generateManifest="false" manifestLocation="/JavaBDD/javabddManifest"> ! <sealing sealJar="false"> ! <packagesToSeal/> ! <packagesToUnSeal/> ! </sealing> ! </manifest> ! <selectedElements exportClassFiles="true" exportJavaFiles="false"> ! <javaElement handleIdentifier="=JavaBDD/<org.sf.javabdd"/> ! <javaElement handleIdentifier="=JavaBDD/<"/> ! </selectedElements> ! </jardesc> --- 1,15 ---- ! <?xml version="1.0" encoding="UTF-8"?> ! <jardesc> ! <jar path="JavaBDD/javabdd.jar"/> ! <options buildIfNeeded="true" compress="true" descriptionLocation="/JavaBDD/javabdd.jardesc" exportErrors="true" exportWarnings="true" overwrite="true" saveDescription="true" useSourceFolders="false"/> ! <manifest generateManifest="false" manifestLocation="/JavaBDD/javabddManifest" manifestVersion="1.0" reuseManifest="false" saveManifest="false" usesManifest="true"> ! <sealing sealJar="false"> ! <packagesToSeal/> ! <packagesToUnSeal/> ! </sealing> ! </manifest> ! <selectedElements exportClassFiles="true" exportJavaFiles="false" exportOutputFolder="false"> ! <javaElement handleIdentifier="=JavaBDD/<org.sf.javabdd"/> ! <javaElement handleIdentifier="=JavaBDD/<"/> ! </selectedElements> ! </jardesc> |