|
build
|
various: Delete info pages.
|
2020-05-11 19:26:32 +03: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 |
