| Wed, 09 Jan 2013 21:21:41 +0100 | wenzelm | create required PREFS_DIR; | changeset | files |
| Wed, 09 Jan 2013 18:35:51 +0100 | wenzelm | eliminated choosefrom -- power-users may edit global defaults within script; | changeset | files |
| Wed, 09 Jan 2013 18:32:26 +0100 | wenzelm | tuned; | changeset | files |