From 25b886dee3a6945af729beb251ef71798b3a6466 Mon Sep 17 00:00:00 2001 From: Federico Fissore Date: Thu, 4 Jun 2015 14:29:05 +0200 Subject: [PATCH] Update revisions.txt --- build/shared/revisions.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt index 179e9e061..270dfd408 100644 --- a/build/shared/revisions.txt +++ b/build/shared/revisions.txt @@ -14,6 +14,7 @@ ARDUINO 1.6.5 * Serial monitor stays opened during upload, disabled. Thanks @avishorp and @Wackerbarth * CLI: --get-pref can now be called without a pref name. If pref name is missing, IDE dumps all preferences * Holding SHIFT when hovering the save icon will trigger a "Save As" +* Removed proxy settings from File > Preferences: IDE will use system settings * Tons of minor fixes [libraries]