Change Log Report

Total number of changed sets: 1

Changes between 2009-01-05 and 2009-02-05

Total commits: 1
Total number of files changed: 3

Timestamp Author Details
2009-01-31 15:57:02 leberre /maven/tags/2_0_5/org.sat4j.helper/src/test/java/org/sat4j/helper/TestDependencyHelper.java v 302
/maven/tags/2_0_5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/BinaryClausePB.java v 302
/maven/tags/2_0_5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/UnitClausePB.java v 302

dded missing copyright headers (still spotted by Michael).