Matthew Flatt 6681482d88 fix bouncing problem with navigation line (Firefox) ... svn: r8305 original commit: e42bc2aa976b06e3aada128be0bde6f6f97fc3ab		2008-01-11 22:22:31 +00:00
..
help	fix help start path	2008-01-11 20:09:19 +00:00
launcher	import	1998-01-13 22:13:43 +00:00
scribble	fix bouncing problem with navigation line (Firefox)	2008-01-11 22:22:31 +00:00
scribblings/scribble	remove the now-redundant main-doc option	2008-01-11 02:29:49 +00:00