diff options
| author | David Waern <david.waern@gmail.com> | 2008-07-25 17:15:53 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2008-07-25 17:15:53 +0000 |
| commit | 7779bb3571fdfc9412323f12529d71df1955926b (patch) | |
| tree | 4384085f09204ac05e7874d032b61cde13157566 /doc/docbook-xml.mk | |
| parent | a7e3da23277a571cc6eada2448a79aae353bc500 (diff) | |
Simplify definition of pretty and trace_ppr
Diffstat (limited to 'doc/docbook-xml.mk')
0 files changed, 0 insertions, 0 deletions