From de5ef66c6fdbb7f564ce5fb1fbd1481c8d95fc80 Mon Sep 17 00:00:00 2001 From: Federico Fissore Date: Mon, 14 Dec 2015 15:41:46 +0100 Subject: [PATCH] Update revisions.txt --- build/shared/revisions.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt index fa22dfc29..55c136041 100644 --- a/build/shared/revisions.txt +++ b/build/shared/revisions.txt @@ -1,7 +1,7 @@ ARDUINO 1.6.7 - 2015.12.14 [ide] -* New arduino-builder: faster, better prototype generation and library discovery logic, and more. See https://github.com/arduino/arduino-builder/compare/1.0.5...master +* New arduino-builder: faster, better prototype generation and library discovery logic, and more. See https://github.com/arduino/arduino-builder/compare/1.0.5...1.3.8 * Serial plotter now allows to plot multiple values at once. Thanks @henningpohl * New translations * Added support to file:// protocol for boards manager URLs