Eli Barzilay c47b962567 disconnect politely if there are no active assignments ... svn: r1076		2005-10-13 22:12:22 +00:00
..
client-gui.ss	disconnect politely if there are no active assignments	2005-10-13 22:12:22 +00:00
client.ss	disconnect politely if there are no active assignments	2005-10-13 22:12:22 +00:00
icon.png	handin icon and doc fixes	2005-08-22 18:45:51 +00:00
info.ss	Renamed tool.ss tp client-gui.ss -- the handin client is very useful	2005-10-06 06:37:40 +00:00
server-cert.pem	handin server/client fixup	2005-08-16 20:17:55 +00:00