summaryrefslogtreecommitdiff
path: root/.zsh/functions/IJ (follow)
Commit message (Expand)AuthorAgeFilesLines
* [zsh] Remove obsolete isabelle functionsRené 'Necoro' Neumann2018-06-101-1/+0
* Added support for jedit.René Neumann2011-11-211-0/+1