diff options
Diffstat (limited to '')
| l--------- | dhall/src/dhall.abnf | 1 | ||||
| l--------- | dhall/src/syntax/text/dhall.abnf | 1 | ||||
| -rw-r--r-- | dhall/src/syntax/text/dhall.pest.visibility (renamed from dhall/src/dhall.pest.visibility) | 0 |
3 files changed, 1 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 diff --git a/dhall/src/syntax/text/dhall.abnf b/dhall/src/syntax/text/dhall.abnf new file mode 120000 index 0000000..4a95034 --- /dev/null +++ b/dhall/src/syntax/text/dhall.abnf @@ -0,0 +1 @@ +../../../../dhall-lang/standard/dhall.abnf
\ No newline at end of file diff --git a/dhall/src/dhall.pest.visibility b/dhall/src/syntax/text/dhall.pest.visibility index 03a000b..03a000b 100644 --- a/dhall/src/dhall.pest.visibility +++ b/dhall/src/syntax/text/dhall.pest.visibility |