Sat, 25 Oct 2014 19:20:28 +0200 | haftmann | more simp rules; | changeset | files |
Sun, 26 Oct 2014 15:57:10 +0100 | wenzelm | clarified default; | changeset | files |
Sun, 26 Oct 2014 15:46:02 +0100 | wenzelm | support negative extraLineSpacing; | changeset | files |