Merge branch 'dev'
[bertos.git] / boards / arduino / benchmark / arduino_kernel_footprint / arduino_kernel_footprint_user.mk
2010-11-28 asterixUpdate preset and fix for new name.