Thu, 26 Nov 2009 23:10:59 +0100 | Martin Geisler | extdiff: wrap long lines in docstring and comments | changeset | files |
Thu, 26 Nov 2009 20:59:35 +0100 | Martin Geisler | Merge with stable | changeset | files |
Thu, 26 Nov 2009 10:51:17 +0100 | Christian Ebert | keyword: the CVS keyword is $RCSfile$, not $RCSFile$ | changeset | files |