Keep config.status during "make clean"
authorKevin M. Rosenberg <kevin@rosenberg.net>
Tue, 20 Mar 2018 20:58:12 +0000 (14:58 -0600)
committerKevin M. Rosenberg <kevin@rosenberg.net>
Tue, 20 Mar 2018 20:58:12 +0000 (14:58 -0600)

No differences found