]> granicus.if.org Git - mutt/commit
Manual: Many content+markup improvements for option documentation
authorRocco Rutte <pdmef@gmx.net>
Sun, 31 Aug 2008 18:12:20 +0000 (20:12 +0200)
committerRocco Rutte <pdmef@gmx.net>
Sun, 31 Aug 2008 18:12:20 +0000 (20:12 +0200)
commit8c19ac0de231304fddcea7d097d563661ebdc286
treec25d0b9c008f125035010a3a208a26b012c76d73
parent18e130a72a2c4b18272830aa69248bce6155c0ac
Manual: Many content+markup improvements for option documentation
doc/manual.xml.head
init.h