diff options
Diffstat (limited to 'debian/deleted_on_clean.txt')
-rw-r--r-- | debian/deleted_on_clean.txt | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/debian/deleted_on_clean.txt b/debian/deleted_on_clean.txt new file mode 100644 index 0000000..7a2d3b9 --- /dev/null +++ b/debian/deleted_on_clean.txt @@ -0,0 +1,29 @@ +.revision.time +encdb.h +ext/dl/callback/callback-0.c +ext/dl/callback/callback-1.c +ext/dl/callback/callback-2.c +ext/dl/callback/callback-3.c +ext/dl/callback/callback-4.c +ext/dl/callback/callback-5.c +ext/dl/callback/callback-6.c +ext/dl/callback/callback-7.c +ext/dl/callback/callback-8.c +ext/dl/callback/callback.c +ext/ripper/eventids1.c +ext/ripper/eventids2table.c +ext/ripper/ripper.c +ext/ripper/ripper.y +ext/ripper/y.output +golf_prelude.c +insns.inc +insns_info.inc +known_errors.inc +miniprelude.c +node_name.inc +opt_sc.inc +optinsn.inc +optunifs.inc +transdb.h +vm.inc +vmtc.inc |