diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-09-30 18:12:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-09-30 18:12:04 -0400 |
| commit | 3b47d68d29a931de92e0c9d2543b4085cfc45e32 (patch) | |
| tree | 6e1f3d699df4207cb54f9adc46a16d75b9e29fe7 /src/demo.sig | |
| parent | 893d10120856436525390f335060f095b754fd38 (diff) | |
Mention empty-third-field 'rewrite' directives
Diffstat (limited to 'src/demo.sig')
0 files changed, 0 insertions, 0 deletions