From 8b7de1042a4516a2e99b6178a726a4a574ab68d9 Mon Sep 17 00:00:00 2001
From: Phuntsok Drak-pa <phundrak@phundrak.fr>
Date: Sun, 25 Aug 2019 04:59:48 +0200
Subject: [PATCH] merged .gitignore from new-style branch

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index ce6d8c1..f765fa0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,3 +11,4 @@ _minted*
 /draconian-2/Vulgar_ Language generator.pdf
 /draconian-2/auto-generated*
 /ignored-folder
+/js/.tern-port