fix clean_full target (#97)

This commit is contained in:
Dave Murphy 2020-07-03 19:17:24 +01:00 committed by GitHub
parent f55d6f2506
commit 2b0c791f94
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23