diff meta.urp @ 0:63697ef80a2c

JSON, minus records and nulls
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Dec 2010 11:10:57 -0500
parents
children 943410267fad
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/meta.urp	Thu Dec 02 11:10:57 2010 -0500
@@ -0,0 +1,3 @@
+$/char
+$/string
+json