Add mkIndexedName utility function.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 25 Jun 2009 12:46:28 +0000 (14:46 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 25 Jun 2009 12:46:28 +0000 (14:46 +0200)

No differences found