diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-05-06 15:27:30 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-05-06 15:27:30 -0400 |
| commit | 6d454de6e5954f0e09adafca3141b5394bbc5140 (patch) | |
| tree | ae765a83259f804f7dc7a8eeede51faec284ef07 /tests/ubn.ur | |
| parent | 85341a176564ac3ce4e0a4ec4612262e2945660a (diff) | |
New optional suffice for 'rewrite' in .urp files: [-]
Diffstat (limited to 'tests/ubn.ur')
0 files changed, 0 insertions, 0 deletions