From 23431bef86232d357c4db86861b35532a2111f68 Mon Sep 17 00:00:00 2001
From: Alejandro Javier Asenjo Nitti <alejandro.asenjo88@gmail.com>
Date: Sat, 7 Oct 2023 07:48:31 -0300
Subject: [PATCH] permuter_settings

---
 tools/permuter_settings.toml | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 tools/permuter_settings.toml

diff --git a/tools/permuter_settings.toml b/tools/permuter_settings.toml
new file mode 100644
index 00000000..d9acc8df
--- /dev/null
+++ b/tools/permuter_settings.toml
@@ -0,0 +1 @@
+compiler_type = "ido"
\ No newline at end of file