Manuel Rego Casasnovas b843fc9d87 Bug #1503: Rename IntegerInterval to Interval ... FEA: ItEr76S04BugFixing		2012-07-12 08:55:24 +02:00
..
src	Bug #1503: Rename IntegerInterval to Interval	2012-07-12 08:55:24 +02:00
pom.xml	Bump version number to 1.2.4	2012-05-23 13:43:11 +02:00