| Tue, 21 Oct 2014 13:21:59 +0200 | wenzelm | back to alternative fold painter, despite f03a9c57760a -- gutter painter seems to have changed in the meantime; | changeset | files |
| Tue, 21 Oct 2014 11:13:16 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 21 Oct 2014 10:58:19 +0200 | wenzelm | update_cartouches; | changeset | files |