3 Commits

Author	SHA1	Message	Date
Eli Barzilay	592be14b81	moved internal-port to options.ss ... svn: r7173	2007-08-26 05:48:55 +00:00
Eli Barzilay	54cec85b45	current-helpdesk-platform -> helpdesk-platform ... svn: r7172	2007-08-26 05:42:08 +00:00
Eli Barzilay	dfb5786bbc	renamed platform.ss to options.ss (so more stuff can be added later) ... svn: r7171	2007-08-26 05:40:45 +00:00