diff options
| author | Michael Williamson <mike@zwobble.org> | 2013-12-14 16:25:32 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2013-12-14 16:25:32 +0000 |
| commit | 90a19c890a3634f9ba8d8435af04982f9a8b76da (patch) | |
| tree | 48369a8b3129aea54425a45cd973fe902fe0a349 /makefile | |
| parent | 07480fc677e51edc2af85a5c6ed9fd9449a7dac6 (diff) | |
Emit warnings on recognised paragraph styles
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions