summaryrefslogtreecommitdiff
path: root/dhall/src/syntax
diff options
context:
space:
mode:
authorNadrieril Feneanar2020-03-17 22:53:32 +0000
committerGitHub2020-03-17 22:53:32 +0000
commit681dad33cf27b2be4f4b3cefd83998af1d7eefb2 (patch)
tree6df8ea0ec49da694f101e6205068ab3c1a4b898e /dhall/src/syntax
parent6d82e0040316b4feefd3d95129829f91b595b5f2 (diff)
parent0f474789a6d93086a10633cf2755e5cba68bd187 (diff)
Merge pull request #140 from Nadrieril/Nadrieril-patch-1
Setup Github actions
Diffstat (limited to 'dhall/src/syntax')
0 files changed, 0 insertions, 0 deletions