christos 537657ed45 Use the proper prompt printing function.		2009-07-17 12:25:52 +00:00
..
Makefile	…
tc1.c	Use the proper prompt printing function.	2009-07-17 12:25:52 +00:00