diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-09-07 09:21:51 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-09-07 09:21:51 -0400 |
| commit | bfec948f1f46a9fd104d260fa54351dda9a675b2 (patch) | |
| tree | b32ff8b698da1f9a4003cd4dc076756f2447d674 /doc | |
| parent | ea36554e005d1be57bede319562061e00c8a63c8 (diff) | |
Shortcut invocations for single .ur files
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions