summaryrefslogtreecommitdiffstats
path: root/math/proofgeneral/files/patch-isa_isabelle-system.el
Commit message (Expand)AuthorAgeFilesLines
* share/gnome/ -> share/.mezz2007-07-301-0/+13