I'm still a moron (just in case anybody wondered whether things had
improved since last time I was a moron.  No, they haven't).

Move text that's supposed to be at the top of the file to the top of
the file.  I need to learn about these scroll-bar things some time.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4254 a5019735-40e9-0310-863c-91ae7b9d1cf9
1 file changed