editors/__init__.py
author Edouard Tisserant
Mon, 20 Jan 2014 11:04:19 +0100
changeset 1387 435965ca8b63
parent 814 5743cbdff669
permissions -rw-r--r--
Re-introduced toolchain_makefile.py. This time, it comes with a 'Generic' target, and a 'genericmake' example