Update debian/clean
authorStephane Glondu <steph@glondu.net>
Thu, 11 Jul 2019 11:18:29 +0000 (13:18 +0200)
committerStephane Glondu <steph@glondu.net>
Thu, 11 Jul 2019 12:18:02 +0000 (14:18 +0200)
commit05857a9716b22b332b90025339b44323586a4287
tree51dba2c5673642b7ae7be42b0e36b38ec7030c05
parent183e6efa42881d60ab1cd63489a8e6b333f5e5a2
Update debian/clean
debian/clean