diff -r e8292658d5b3 -r c1941114ca88 as-gui.html --- a/as-gui.html Fri Nov 28 14:20:00 2008 +0100 +++ b/as-gui.html Fri Dec 05 23:14:02 2008 +0100 @@ -2,7 +2,7 @@