| Wed, 08 Jun 2011 17:49:01 +0200 | wenzelm | updated headers; | changeset | files |
| Wed, 08 Jun 2011 17:42:07 +0200 | wenzelm | moved sources -- eliminated Netbeans artifact of jedit package directory; | changeset | files |
| Wed, 08 Jun 2011 17:32:31 +0200 | wenzelm | removed obsolete Netbeans project setup; | changeset | files |