summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch
AgeCommit message (Expand)Author
2019-09-06gentoo resync : 06.08.2019V3n3RiX