diff -r eeba2bd07e90 -r 480b398be620 flops.rst --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/flops.rst Thu Apr 16 10:41:47 2009 +0300 @@ -0,0 +1,8 @@ +-*- outline -*- + +* Top. + +See + + http://www.top500.org/ +