Proposal #2875: remove StringRep and StringConstr
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 16 Jan 2009 14:26:17 +0000 (14:26 +0000)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 16 Jan 2009 14:26:17 +0000 (14:26 +0000)

No differences found