Export to GitHub

arduino - issue #588

Rename pins/ directory to variants/

Posted on Aug 18, 2011 by Happy Rhino

This is a more general name.

Comment #1

Posted on Aug 23, 2011 by Happy Rhino

https://github.com/arduino/Arduino/commit/d00f0949ed00d53c885fd04e342b2ce55a6b4d8e

Status: Fixed

Labels:
Type-Enhancement Priority-Medium Milestone-1.0 Component-IDE