From 21e8a43bca319e4d9fb4d149997b42a65403f3c2 Mon Sep 17 00:00:00 2001
From: Florian Dold <dold@inria.fr>
Date: Thu, 24 Dec 2015 03:19:56 +0100
Subject: TypeScript config

---
 src/tsconfig.json | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 src/tsconfig.json

diff --git a/src/tsconfig.json b/src/tsconfig.json
new file mode 100644
index 00000000..13a16c56
--- /dev/null
+++ b/src/tsconfig.json
@@ -0,0 +1,10 @@
+{
+    "compilerOptions": {
+        "target": "es6",
+        "jsx": "react"
+    },
+    "files": [
+      "frontend/execute.tsx"
+    ]
+}
+
-- 
cgit v1.2.3