diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-04 15:18:41 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-04 15:18:41 -0500 |
| commit | d46a56f2281e5f992484df00debe8b8f97097e31 (patch) | |
| tree | 218b81154a08e23035017e39e4c8e7c8c8ed8d47 /demo/metaform1.ur | |
| parent | 70e17f78838ac1ebdeae9eca750eb52f14c27589 (diff) | |
Make last change nicer
Diffstat (limited to 'demo/metaform1.ur')
0 files changed, 0 insertions, 0 deletions