summaryrefslogtreecommitdiff
path: root/demo/prose
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-09-30 18:12:04 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-09-30 18:12:04 -0400
commitdfe1d4fdd1640b07a05db176d9dc89fcbb124edf (patch)
tree6e1f3d699df4207cb54f9adc46a16d75b9e29fe7 /demo/prose
parent10abf930df47a214ef2d66a6727c9e159093bc57 (diff)
Mention empty-third-field 'rewrite' directives
Diffstat (limited to 'demo/prose')
0 files changed, 0 insertions, 0 deletions