# HG changeset patch # User Adam Chlipala # Date 1292342066 18000 # Node ID ec4de8f848f8c78d84765dc80bf72c35357f367e # Parent 32f8f5d2d9f0feb7d97653a84952c99dc5633dc7 Switch to lib.urp diff -r 32f8f5d2d9f0 -r ec4de8f848f8 lib.urp --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib.urp Tue Dec 14 10:54:26 2010 -0500 @@ -0,0 +1,9 @@ +$/char +$/string +$/option +json +incl +mem +eq +variant +sql diff -r 32f8f5d2d9f0 -r ec4de8f848f8 meta.urp --- a/meta.urp Tue Dec 14 10:36:33 2010 -0500 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -$/char -$/string -$/option -json -incl -mem -eq -variant -sql diff -r 32f8f5d2d9f0 -r ec4de8f848f8 tests/testJson.urp --- a/tests/testJson.urp Tue Dec 14 10:36:33 2010 -0500 +++ b/tests/testJson.urp Tue Dec 14 10:54:26 2010 -0500 @@ -1,4 +1,4 @@ -library ../meta +library .. rewrite all TestJson/* $/list