Merge pull request #26 from ppentchev/pp-unzck-ext
authorJonathan Dieter <jdieter@gmail.com>
Sun, 31 May 2020 21:27:50 +0000 (22:27 +0100)
committerGitHub <noreply@github.com>
Sun, 31 May 2020 21:27:50 +0000 (22:27 +0100)
unzck: require a *.zck extension


Trivial merge