Use a proper datatype, rather than pairs, for flags
authorIan Lynagh <igloo@earth.li>
Sat, 14 Jun 2008 13:38:48 +0000 (13:38 +0000)
committerIan Lynagh <igloo@earth.li>
Sat, 14 Jun 2008 13:38:48 +0000 (13:38 +0000)

No differences found