Alex D. f276753dc9 Rename BIN to OUT, as the output of the compilation might also be something else		2021-11-21 17:34:37 +00:00
..
Makefile	Rename BIN to OUT, as the output of the compilation might also be something else	2021-11-21 17:34:37 +00:00
config.mk	Rename BIN to OUT, as the output of the compilation might also be something else	2021-11-21 17:34:37 +00:00