2016-09-01 | wenzelm | tuned GUI: modal dialog last; | changeset | files |
2016-09-01 | wenzelm | tuned message; | changeset | files |
2016-09-01 | wenzelm | merged | changeset | files |
2016-09-01 | wenzelm | NEWS; | changeset | files |
2016-09-01 | wenzelm | more robust persistent storage; | changeset | files |
2016-09-01 | wenzelm | clarified important directories; | changeset | files |
2016-09-01 | wenzelm | separate action; | changeset | files |
Loading... |