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/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 dhall/.gitignore (limited to 'dhall/.gitignore') diff --git a/dhall/.gitignore b/dhall/.gitignore new file mode 100644 index 0000000..8a0bac6 --- /dev/null +++ b/dhall/.gitignore @@ -0,0 +1 @@ +src/dhall.pest -- cgit v1.2.3