summaryrefslogtreecommitdiff
path: root/dhall/src/operations/kind.rs
diff options
context:
space:
mode:
authorNadrieril2020-12-18 20:24:04 +0000
committerGitHub2020-12-18 20:24:04 +0000
commit66f79507ae5877d23ddd376b0b5cc7af5f2347bc (patch)
treee07ea03282ba93da3de8b678bb2e17f62dbe3c30 /dhall/src/operations/kind.rs
parent970a68e13628ef5fc11be598a56b80020f0522e8 (diff)
parent4ba0b8f7be9f6f2d89121a757cdc391be384e6ea (diff)
Merge pull request #205 from Nadrieril/audits
Enable automatic audit checks in CI
Diffstat (limited to 'dhall/src/operations/kind.rs')
0 files changed, 0 insertions, 0 deletions