Christian Neukirchen 0513f4f768 clisp: nocross=yes		2014-08-28 18:52:52 +02:00
..
template	clisp: nocross=yes	2014-08-28 18:52:52 +02:00