diff peel/urispace/mapping.pl @ 13:a60c54830aaa

Comment out some apparently nonworking mappings
author Chris Cannam
date Fri, 03 Nov 2017 16:52:57 +0000
parents d100023520b4
children
line wrap: on
line diff