Skip to content

Commit

Permalink
[grub-tools] renamed PKGBUILD to PKGBUILD.not-used
Browse files Browse the repository at this point in the history
  • Loading branch information
@manuel-192
manuel-192 committed Jan 28, 2024
1 parent c4b9506 commit 1fcd5cd
Showing 1 changed file with 0 additions and 0 deletions.
0 grub-tools/PKGBUILD → grub-tools/PKGBUILD.not-used
View file
File renamed without changes.

0 comments on commit 1fcd5cd

Please sign in to comment.