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 | 2da3f4c86d4fbdfb2c88d7db3c1d9cc5f6e39092 (patch) | |
| tree | b32ff8b698da1f9a4003cd4dc076756f2447d674 /CHANGELOG | |
| parent | cdd504ea9f9dcf4cfe18756e48319b7a9df296cd (diff) | |
Shortcut invocations for single .ur files
Diffstat (limited to 'CHANGELOG')
0 files changed, 0 insertions, 0 deletions