Arduinoバージョンアップの件につき

Arduinoの開発環境Arduino（ややこしい）が0013にバージョンアップしました。
ダウンロード
http://arduino.cc/en/Main/Software
リリースノート
http://arduino.cc/en/Main/ReleaseNotes