diff options
| author | Nadrieril | 2020-05-30 14:01:42 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-05-30 14:17:03 +0100 |
| commit | e4544626c5a701dfb596652265a93e410b8f3d2a (patch) | |
| tree | 42e3cc24e6bbae34dfa5084f88da19d8745fb66a /dhall/src | |
| parent | f554164014a85b8d4d7248a8bdfa6dbcd2009988 (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.abnf | 1 |
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 |