Update hooks.properties so that the SHA256 hook works properly - Githubissues

kframework / k-legacy

The K tools (deprecated, see README)

http://kframework.org

Other

146 stars 61 forks source link

Update hooks.properties so that the SHA256 hook works properly #2316

Closed ayberkt closed 7 years ago