naddy 11e3dd67b3 switch COMPILER from the old, confusing shortcuts to the more explicit format		2017-11-16 23:20:37 +00:00
..
core	switch COMPILER from the old, confusing shortcuts to the more explicit format	2017-11-16 23:20:37 +00:00
plugins
Makefile