| 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 |