summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* app-emacs/boogie-friends: bump to 0.1_p20220922Maciej Barć2022-10-301-0/+11