diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-07-16 14:20:30 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-07-16 14:20:30 -0400 |
commit | f76d8f9d88b0ce8551877f8ca481d0b4bc7044f9 (patch) | |
tree | 7440dceea6b53f07374f23ca1751343c976b9586 /tests/thog.ur | |
parent | 670495dfb5f2e5c85f0974ce87816bf6e4c84984 (diff) |
In demo prose, note URL for hello demo
Diffstat (limited to 'tests/thog.ur')
0 files changed, 0 insertions, 0 deletions