diff options
author | Pirate Praveen <praveen@debian.org> | 2019-07-25 15:21:18 +0200 |
---|---|---|
committer | Pirate Praveen <praveen@debian.org> | 2019-07-25 15:21:18 +0200 |
commit | 215e7940f17ff59d9d62896029059ae86f7d9f36 (patch) | |
tree | f2ecf81dbca4e3252c6ff405878899e688f2c0f3 | |
parent | 4df38566458f93eb37594d4e5a5545d450d86056 (diff) |
Remove dist/*
-rw-r--r-- | debian/clean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/clean b/debian/clean index 1521c8b..a261f29 100644 --- a/debian/clean +++ b/debian/clean @@ -1 +1 @@ -dist +dist/* |