2013-10-06 | Christian Grothoff | -remove trailing whitespace | blob | commitdiff | raw |
2013-08-24 | Christian Grothoff | -use GPLv3+ consistently | blob | commitdiff | raw | diff to current |
2011-11-03 | Christian Grothoff | implementing #1747 | blob | commitdiff | raw | diff to current |
2011-11-02 | Christian Grothoff | fix 1817 | blob | commitdiff | raw | diff to current |