summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* app-emacs/boogie-friends: drop old 0.1_p20210703Maciej Barć2023-08-112-47/+0
* app-emacs: H -> COMMITMaciej Barć2023-01-302-8/+8
* app-emacs/boogie-friends: bump to 0.1_p20220922Maciej Barć2022-10-303-0/+61
* app-emacs/boogie-friends: rename version to 0.1_p20210703Maciej Barć2022-10-302-1/+1
* app-emacs/boogie-friends: new package; add 20210703 (2021.07.03 snapshot)Maciej Barć2022-03-095-0/+87