summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* app-emacs/boogie-friends: rename version to 0.1_p20210703Maciej Barć2022-10-301-0/+46