Richard Mitchell 324601dfed Did clever stuff at first for restart but replacing the appearance of start is all that is needed I believe		2013-03-01 21:52:15 +00:00
..
index.html	Did clever stuff at first for restart but replacing the appearance of start is all that is needed I believe	2013-03-01 21:52:15 +00:00
settings.html	New settings split off	2013-02-23 19:37:38 +00:00