summaryrefslogtreecommitdiffstats
path: root/debian/patches/progress-linux/0001-grub-distributor.patch (follow)
Commit message (Expand)AuthorAgeFilesLines
* Removing appending of GNU/Linux to distributor name in boot menu.Daniel Baumann2024-04-071-0/+34
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 18:53:04 +0000