Toni 36242d5ac5 reduced makefile size. not so much needed due to "inheritance"		2016-07-18 10:50:19 +02:00
..
default
iso_split_rshift	reduced makefile size. not so much needed due to "inheritance"	2016-07-18 10:50:19 +02:00
poker
sethbc
stanleylai