Arduino/arduino at 0c7e0d6bb4dd3943cff7245a1f4de74593638b9d - Arduino - Rooty - Git Service

rooty/Arduino

mirror of https://github.com/arduino/Arduino.git synced 2025-01-20 09:52:13 +01:00

History

Federico Fissore 0c7e0d6bb4 CustomProxySelector: auto proxy (PAC) needs login info too

2015-08-21 08:41:50 +02:00

..

Added missing license headers

2015-08-13 11:33:35 +02:00

Got rid of Java 8 warnings about _ as a method name

2015-08-05 09:12:40 +02:00

CustomProxySelector: auto proxy (PAC) needs login info too

2015-08-21 08:41:50 +02:00

ConsoleOutputStream.java

ConsoleOutputStream: replacing \r to \n when printing on IDE console

2015-06-29 16:18:40 +02:00

UpdatableBoardsLibsFakeURLsHandler.java

Added missing license headers

2015-08-13 11:33:35 +02:00