summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--compiler/.gitignore1
l---------compiler/charon1
2 files changed, 1 insertions, 1 deletions
diff --git a/compiler/.gitignore b/compiler/.gitignore
deleted file mode 100644
index 8357dae7..00000000
--- a/compiler/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-charon
diff --git a/compiler/charon b/compiler/charon
new file mode 120000
index 00000000..0cd9e85a
--- /dev/null
+++ b/compiler/charon
@@ -0,0 +1 @@
+../charon/charon-ml/ \ No newline at end of file