|
files
|
grub: revert 2.04
|
2019-08-11 01:38:27 +00:00 |
|
build
|
various: Drop unneeded rm
|
2020-05-15 10:44:41 +03:00 |
|
checksums
|
grub: bump to 2.04
|
2019-08-14 16:59:12 +00:00 |
|
depends
|
various: Add linux-headers (make) dependencies.
|
2020-05-03 23:14:30 +03:00 |
|
sources
|
grub: use https for source
|
2019-09-13 09:16:10 +03:00 |
|
version
|
grub: revert pie fixes
|
2020-02-11 02:34:00 +02:00 |
