diff options
| author | Philipp Gesang <gesang@stud.uni-heidelberg.de> | 2013-03-12 17:05:16 +0100 |
|---|---|---|
| committer | Philipp Gesang <gesang@stud.uni-heidelberg.de> | 2013-03-12 17:05:16 +0100 |
| commit | 09dd07bcc2397ff03460d5e89f8125456c29e025 (patch) | |
| tree | d65828105981aa94bfaa697358d09a799834609a /OMakeroot | |
| parent | 9c6a8a9737e6f5b09ca65ed82a186b58e731e350 (diff) | |
| download | context-rst-09dd07bcc2397ff03460d5e89f8125456c29e025.tar.gz | |
fix spurious global; workaround buffer idiosyncrasy in manual
Diffstat (limited to 'OMakeroot')
0 files changed, 0 insertions, 0 deletions