summaryrefslogtreecommitdiff
path: root/texmf-dist/scripts/ketcindy/ketjava/KetCindyPlugin.jar
AgeCommit message (Expand)Author
2018-04-18remove ketcindy, it is in mainNorbert Preining
2018-04-09another ketcindyNorbert Preining
2018-04-09update ketpicNorbert Preining
2018-02-12update ketcindyNorbert Preining
2017-10-14rename and update ketpic -> ketcindyNorbert Preining