-
Leigh B. Stoller authored
in the name. I changed that, but in the meantime search for top file. Also redirect stderr to /dev/null when generating gif for the web page since it will mess up the gif image.
0fbff1e4
in the name. I changed that, but in the meantime search for top file. Also redirect stderr to /dev/null when generating gif for the web page since it will mess up the gif image.