diff options
Diffstat (limited to '')
-rw-r--r-- | debian/clean | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/debian/clean b/debian/clean new file mode 100644 index 0000000..c3bf84a --- /dev/null +++ b/debian/clean @@ -0,0 +1,17 @@ +debian/grub-common.install +debian/prep-bootdev +grub-core/lib/libgcrypt-grub/mpi/mpi-asm-defs.h +grub-core/lib/libgcrypt-grub/mpi/mpih-add1.c +grub-core/lib/libgcrypt-grub/mpi/mpih-sub1.c +grub-core/lib/libgcrypt-grub/mpi/mpih-mul1.c +grub-core/lib/libgcrypt-grub/mpi/mpih-mul2.c +grub-core/lib/libgcrypt-grub/mpi/mpih-mul3.c +grub-core/lib/libgcrypt-grub/mpi/mpih-lshift.c +grub-core/lib/libgcrypt-grub/mpi/mpih-rshift.c +docs/*.info +docs/stamp-vti +docs/version.texi +docs/stamp-1 +docs/version-dev.texi +include/grub/gcrypt/g10lib.h +po/grub.pot |