diff options
author | Nadrieril | 2020-05-30 14:35:28 +0100 |
---|---|---|
committer | GitHub | 2020-05-30 14:35:28 +0100 |
commit | 97e46bef0fe1729d5de0a9a40ba939842023fea7 (patch) | |
tree | 4ea0c6242c71977b892dd89f706713417fe6cfe9 /dhall/src/syntax/text/dhall.abnf | |
parent | f554164014a85b8d4d7248a8bdfa6dbcd2009988 (diff) | |
parent | 5ee2332305110b13deed27338fc2aa0d9fe03e2b (diff) |
Merge pull request #168 from Nadrieril/windows
Diffstat (limited to '')
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 |