aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/tlc.ur
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 /doc/tlc.ur
parentf2f1a4873f59f768ff926dffd256147001ab4ea2 (diff)
In demo prose, note URL for hello demo
Diffstat (limited to 'doc/tlc.ur')
0 files changed, 0 insertions, 0 deletions