Andy Wingo a8ad41b06d src/tekuti is a shell script ... * src/tekuti: Change to be a shell script.		2010-11-24 21:37:27 +01:00
..
tekuti	src/tekuti is a shell script	2010-11-24 21:37:27 +01:00
upgrade-metadata	new clever indexing scheme	2008-02-22 12:57:18 +01:00