diff options
Diffstat (limited to 'dhall/src/dhall.abnf')
| l--------- | dhall/src/dhall.abnf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall/src/dhall.abnf b/dhall/src/dhall.abnf deleted file mode 120000 index ce13b8e..0000000 --- a/dhall/src/dhall.abnf +++ /dev/null @@ -1 +0,0 @@ -../../dhall-lang/standard/dhall.abnf
\ No newline at end of file |