Thu, 04 Nov 2010 18:11:10 +0100 | Martin Geisler | convert: split docstring lists for easier translation | changeset | files |
Thu, 04 Nov 2010 14:14:47 +0100 | Erik Zielke | convert: use field list instead of option list in help | changeset | files |
Thu, 04 Nov 2010 17:52:40 +0100 | Martin Geisler | doc/Makefile: docs now also depend on extensions | changeset | files |