diff options
Diffstat (limited to 'debian/clean')
-rw-r--r-- | debian/clean | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/clean b/debian/clean new file mode 100644 index 0000000..18d9a6a --- /dev/null +++ b/debian/clean @@ -0,0 +1,11 @@ +colornam.txi +dbutil.txi +determ.txi +dirs.txi +glob.txi +grapheps.txi +phil-spc.txi +pnm.txi +random.txi +solid.txi +xml-parse.txi |