kiss-community/repo
2
0
Fork 1
mirror of https://codeberg.org/kiss-community/repo synced 2024-07-02 14:02:27 +00:00
Code Issues Wiki

grub: remove file now handled by package manager

Browse Source
This commit is contained in:
Dylan Araps 2019-10-14 18:35:17 +03:00
parent 455863f6da
commit 59935407c3
No known key found for this signature in database
GPG Key ID: 46D62DD9F1DE636E
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
core/grub/build
View File

@ -35,5 +35,4 @@ install -Dm0644 grub.default "$1/etc/default/grub"
rm -f grub/*/kernel.exec
rm -f grub/*/gdb_grub
rm -f grub/*/gmodule.pl
rm -f charset.alias
)