diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-12-20 15:06:14 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-12-20 15:06:14 -0500 |
| commit | e7c13d8091aa060a2ed7a769d9b6885dfd6b2b6e (patch) | |
| tree | 9af0b8a2fb0ca314cfab67b61cac39794f7d50b8 /demo/outer.urs | |
| parent | 681382fbe032e10137d78f2308d239483c3e5731 (diff) | |
Remove old Mercurial reference
Diffstat (limited to 'demo/outer.urs')
0 files changed, 0 insertions, 0 deletions