diff options
author | gregor herrmann <gregoa@debian.org> | 2024-03-07 18:20:59 +0100 |
---|---|---|
committer | gregor herrmann <gregoa@debian.org> | 2024-03-07 18:20:59 +0100 |
commit | a51afcfffa66d9860acd25b4c9e422b7f1aea402 (patch) | |
tree | a5ca0613b80d2f0690190845d16de092debc7b8b | |
parent | 37775d4fd572a1e901e121124beee6e6d531afa0 (diff) |
Remove build artifacts via debian/clean.
Closes: #1047418
-rw-r--r-- | debian/clean | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/clean b/debian/clean new file mode 100644 index 0000000..c2db516 --- /dev/null +++ b/debian/clean @@ -0,0 +1,3 @@ +Makefile.old +const-c.inc +const-xs.inc |