| Sat, 20 Dec 2008 12:32:40 +0100 | wenzelm | MOVABLE="TRUE" reuses existing instance when changing docking position -- | changeset | files |
| Sat, 20 Dec 2008 12:17:43 +0100 | wenzelm | updated to 4.3pre16; | changeset | files |
| Sat, 20 Dec 2008 11:07:02 +0100 | wenzelm | removed jEdit sources from target; | changeset | files |
| Sat, 20 Dec 2008 00:14:25 +0100 | wenzelm | more robust handling of FILES with spaces, using bash array variables; | changeset | files |
| Fri, 19 Dec 2008 23:56:58 +0100 | wenzelm | disabled tracing; | changeset | files |
| Fri, 19 Dec 2008 23:55:07 +0100 | wenzelm | misc tuning; | changeset | files |