| Tue, 14 Aug 2012 12:21:32 +0200 | wenzelm | even more defensive path expansion (see also 8d381fdef898); | changeset | files |
| Tue, 14 Aug 2012 11:43:08 +0200 | wenzelm | support for 'typ' with explicit sort constraint; | changeset | files |
| Tue, 14 Aug 2012 11:37:58 +0200 | wenzelm | added jedit option -d; | changeset | files |