diff options
author | gregor herrmann <gregoa@debian.org> | 2024-03-07 14:57:28 +0100 |
---|---|---|
committer | gregor herrmann <gregoa@debian.org> | 2024-03-07 14:57:28 +0100 |
commit | 4e521c01bf65d49b03489d98cb853b6ae202316f (patch) | |
tree | 783b4e6e42b68890250cbf59864df1b407ecc3e5 | |
parent | f16549e639d929a333d8c77ad09566a914b685e7 (diff) |
Remove Makefile.old via debian/clean.
Closes: #1048919
-rw-r--r-- | debian/clean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/clean b/debian/clean new file mode 100644 index 0000000..6dc3062 --- /dev/null +++ b/debian/clean @@ -0,0 +1 @@ +Makefile.old |