From 212ee21e15e4334baa8d1b2a70aa6cc53fbd40ee Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Tue, 17 Dec 2019 11:43:57 +0000 Subject: Move pest file generation to dhall/build.rs --- dhall/src/dhall.abnf | 1 + 1 file changed, 1 insertion(+) create mode 120000 dhall/src/dhall.abnf (limited to 'dhall/src/dhall.abnf') diff --git a/dhall/src/dhall.abnf b/dhall/src/dhall.abnf new file mode 120000 index 0000000..ce13b8e --- /dev/null +++ b/dhall/src/dhall.abnf @@ -0,0 +1 @@ +../../dhall-lang/standard/dhall.abnf \ No newline at end of file -- cgit v1.2.3