File diff 0ba94773d27b → 1cd9d93f2592
Show inline comments
@@ -10,6 +10,7 @@ Random TODOs related to the Wiki and infrastructure:
* "This Page's Discussion" link obtains "Error: bad page name".
* look into lstlisting to see if we can do code highlighting or otherwise
  better presentation of it in HTML.
* Brand mailman page with header, etc.
Hopeless Issues: