diff options
| author | Graham Inggs <ginggs@debian.org> | 2018-02-17 19:08:33 +0200 |
|---|---|---|
| committer | Graham Inggs <ginggs@debian.org> | 2018-02-17 19:08:33 +0200 |
| commit | 1ee982cd8317522e4b8f19b68318bf6b39fc3ffe (patch) | |
| tree | 7389c8d775ee251606bf827a62bb2a58fc7ed7c8 /debian/clean | |
| parent | a52ac7c86e04e5d09895e8bd640de966e0c47780 (diff) | |
| download | debian_htop-1ee982cd8317522e4b8f19b68318bf6b39fc3ffe.tar.gz debian_htop-1ee982cd8317522e4b8f19b68318bf6b39fc3ffe.tar.bz2 debian_htop-1ee982cd8317522e4b8f19b68318bf6b39fc3ffe.zip | |
Add debian/clean to remove autogenerated headers
Diffstat (limited to 'debian/clean')
| -rw-r--r-- | debian/clean | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/clean b/debian/clean new file mode 100644 index 0000000..29ab033 --- /dev/null +++ b/debian/clean @@ -0,0 +1,2 @@ +*.h +*/*.h |