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>
|
