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)
commitda42bdacb45a2913dec1fe96f31a80b00d34ca10
treea6af3efe314ce789c6fc98d95ebf410764c43b3a
parenta32bfce0cabcdd130e65c40979b8b3931e16d995
parentc65af7737032b1a2c743f113e3072d95afb34ccd
Merge pull request #26 from ppentchev/pp-unzck-ext

unzck: require a *.zck extension