diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2010-06-23 12:03:27 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2010-06-23 12:03:27 +0000 |
| commit | 3924891dc47a96e13707489b4e55b3fe8d1ce1d7 (patch) | |
| tree | 1895adcb65c1f8a48f3cf2d303efaa0eb8a11c86 /doc/config.mk.in | |
| parent | ca857af46ba888ff8fec3f0e93ebbe3343b7abf8 (diff) | |
Unresolved identifiers in Doc get replaced with DocMonospaced
rather than plain strings
Diffstat (limited to 'doc/config.mk.in')
0 files changed, 0 insertions, 0 deletions