Jorge Aparicio b89c76e3fc use size instead of arm-none-eabi-size

2018-08-28 14:55:02 +02:00

..

after-success.sh

publish docs on GH pages

2018-08-27 17:44:55 +02:00

install.sh

publish docs on GH pages

2018-08-27 17:44:55 +02:00

script.sh

use size instead of arm-none-eabi-size

2018-08-28 14:55:02 +02:00