diff options
Diffstat (limited to 'demo/css.urp')
-rw-r--r-- | demo/css.urp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/demo/css.urp b/demo/css.urp new file mode 100644 index 00000000..150808de --- /dev/null +++ b/demo/css.urp @@ -0,0 +1,4 @@ +allow url http://adam.chlipala.net/style.css +rewrite style Css/quote quote + +css |