diff options
author | John Ericson <git@JohnEricson.me> | 2019-11-25 15:55:12 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-25 15:55:12 -0500 |
commit | 52665a7b2a3a27f4906884df90fcfa8713316441 (patch) | |
tree | b00167441201e5ea015036782c00fc79c9ab4a5f /.github/CONTRIBUTING.md | |
parent | 646b279c55780fa8cfe79b2a3b1e3ab53b445be7 (diff) | |
parent | d60532bc7197424cc57606c207ce2b6749bcd34e (diff) | |
download | nixlib-52665a7b2a3a27f4906884df90fcfa8713316441.tar nixlib-52665a7b2a3a27f4906884df90fcfa8713316441.tar.gz nixlib-52665a7b2a3a27f4906884df90fcfa8713316441.tar.bz2 nixlib-52665a7b2a3a27f4906884df90fcfa8713316441.tar.lz nixlib-52665a7b2a3a27f4906884df90fcfa8713316441.tar.xz nixlib-52665a7b2a3a27f4906884df90fcfa8713316441.tar.zst nixlib-52665a7b2a3a27f4906884df90fcfa8713316441.zip |
Merge pull request #74153 from Ericson2314/fix-coq
coq: Fix setup hook
Diffstat (limited to '.github/CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions