[gitconv @ Properties.hs: add PosInt]
commit8c8b0c85203ae1b828946764a925b169b15ce945
authorJoachim Fasting <joachim.fasting@gmail.com>
Sat, 8 Mar 2008 17:12:07 +0000 (8 17:12 +0000)
committerJoachim Fasting <joachim.fasting@gmail.com>
Sat, 8 Mar 2008 17:12:07 +0000 (8 17:12 +0000)
treefe90c4eab9b456791d6882b86044d02cc936fa9a
parented5fa534b401bc31e8408659a78baa23c57cd52e
[gitconv @ Properties.hs: add PosInt]
tests/Properties.hs