Revision 517:4656f886175e

ID4656f886175ef013729002db46796ce5bf023c11
Parent 516:7eb66c7898cb
Child 518:c774bd8ad108, 519:5406a719910b

Added by Giulio Moro over 9 years ago

reverted to bash, better handling of non existing IDE folder during update_board

Downloads

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences