From aa6b4c38857f632ab0bdd910e085b774fbfc9c0e Mon Sep 17 00:00:00 2001
From: Gergely Nagy <algernon@keyboard.io>
Date: Fri, 28 Sep 2018 16:31:00 +0200
Subject: [PATCH] etc/kaleidoscope-builder.conf: Fix ARDUINO_IDE_VERSION

We had one zero too much, fix that.

Fixes #287.

Signed-off-by: Gergely Nagy <algernon@keyboard.io>
---
 etc/kaleidoscope-builder.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/kaleidoscope-builder.conf b/etc/kaleidoscope-builder.conf
index c57cf09d..bb8448a9 100644
--- a/etc/kaleidoscope-builder.conf
+++ b/etc/kaleidoscope-builder.conf
@@ -108,7 +108,7 @@ ARDUINO_TOOLS_PATH="${ARDUINO_TOOLS_PATH:-${ARDUINO_PATH}/hardware/tools}"
 ARDUINO_PACKAGE_PATH="${ARDUINO_PACKAGE_PATH:-${HOME}/.arduino15/packages}"
 
 ARDUINO_BUILDER="${ARDUINO_BUILDER:-${ARDUINO_PATH}/arduino-builder}"
-ARDUINO_IDE_VERSION="100607"
+ARDUINO_IDE_VERSION="10607"
 
 ######
 ###### Executable paths