summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorNadrieril2020-05-30 14:01:42 +0100
committerNadrieril2020-05-30 14:17:03 +0100
commite4544626c5a701dfb596652265a93e410b8f3d2a (patch)
tree42e3cc24e6bbae34dfa5084f88da19d8745fb66a /.github/workflows
parentf554164014a85b8d4d7248a8bdfa6dbcd2009988 (diff)
Use dhall.abnf directly instead of via symlink
Because windows doesn't support symlinks properly
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions