Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | app-emacs/boogie-friends: drop old 0.1_p20210703 | Maciej Barć | 2023-08-11 | 1 | -1/+0 |
* | app-emacs/boogie-friends: bump to 0.1_p20220922 | Maciej Barć | 2022-10-30 | 1 | -0/+1 |
* | app-emacs/boogie-friends: rename version to 0.1_p20210703 | Maciej Barć | 2022-10-30 | 1 | -1/+1 |
* | app-emacs/boogie-friends: new package; add 20210703 (2021.07.03 snapshot) | Maciej Barć | 2022-03-09 | 1 | -0/+1 |