Revision 378b505d8e53dfa5817c60b42a7ef9f112844ed7 authored by alex@thinkpad on 15 October 2017, 10:04:10 UTC, committed by alex@thinkpad on 15 October 2017, 10:04:10 UTC
(this allows toolchain to be overridden from Makefile.user)
1 parent 60dc6c7
History

back to top