Philipp Möller 81a8f982dc Handle the easy INPUT cases ... If INPUT is just PKG/doc/PKG, handle it automatically.		2015-12-10 17:00:26 +01:00
..
Circular_kernel_2	Handle the easy INPUT cases	2015-12-10 17:00:26 +01:00