diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-06 22:11:00 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-08 17:38:21 +0100 |
| commit | 482115a6cd94da838c51cfb2d4b3c9934d698bb7 (patch) | |
| tree | c09a2c0924b3303417c1b363ecdbc41d8165eb17 /Mach | |
| parent | cdb0a442ce07693ccb542fe74044d0d9f3816e60 (diff) | |
Activate the `texinfo' plugin.
Diffstat (limited to 'Mach')
0 files changed, 0 insertions, 0 deletions