summaryrefslogtreecommitdiff
path: root/demo/metaform.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-07-16 14:20:30 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-07-16 14:20:30 -0400
commit682e45b96182d1abe0b6de3e4a6e9a8306896e7f (patch)
tree7440dceea6b53f07374f23ca1751343c976b9586 /demo/metaform.urs
parentf2f1a4873f59f768ff926dffd256147001ab4ea2 (diff)
In demo prose, note URL for hello demo
Diffstat (limited to 'demo/metaform.urs')
0 files changed, 0 insertions, 0 deletions