Marco Pesenti Gritti 1dd8f78453 Rename the old simulator to oldsimulator to keep kiu working		2006-10-09 13:28:01 +02:00
..
kiu.py	Rename the old simulator to oldsimulator to keep kiu working	2006-10-09 13:28:01 +02:00