chiark / gitweb /
Merge pull request #1 from mavuramd/master
authorScott Ellis <scott@jumpnowtek.com>
Fri, 24 Jan 2020 19:16:53 +0000 (19:16 +0000)
committerGitHub <noreply@github.com>
Fri, 24 Jan 2020 19:16:53 +0000 (19:16 +0000)
Implement clean in make


Trivial merge