summaryrefslogtreecommitdiff
path: root/app-emacs/boogie-friends/files/boogie-friends-paths.patch
AgeCommit message (Expand)Author
2022-03-20gentoo resync : 20.03.2022V3n3RiX