| Mon, 11 Dec 2023 00:10:33 +0100 | oprava verze licence / fix license version: GNU GPLv3 | file | diff | annotate |
| Sat, 18 Aug 2012 13:27:00 +0200 | informace o licenci uvnitř .java souborů | file | diff | annotate |
| Sat, 18 Aug 2012 13:22:45 +0200 | Doplněk pro jEdit – základ. | file | diff | annotate |