summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2020-05-30 14:01:42 +0100
committerNadrieril2020-05-30 14:17:03 +0100
commite4544626c5a701dfb596652265a93e410b8f3d2a (patch)
tree42e3cc24e6bbae34dfa5084f88da19d8745fb66a /dhall/src
parentf554164014a85b8d4d7248a8bdfa6dbcd2009988 (diff)
Use dhall.abnf directly instead of via symlink
Because windows doesn't support symlinks properly
Diffstat (limited to 'dhall/src')
l---------dhall/src/syntax/text/dhall.abnf1
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall/src/syntax/text/dhall.abnf b/dhall/src/syntax/text/dhall.abnf
deleted file mode 120000
index 4a95034..0000000
--- a/dhall/src/syntax/text/dhall.abnf
+++ /dev/null
@@ -1 +0,0 @@
-../../../../dhall-lang/standard/dhall.abnf \ No newline at end of file