Closed GoogleCodeExporter closed 8 years ago
Where should this go? I think features.php (in the "Free and open source"
section) and install.php would be good candidates. Both should be fine.
Original comment by matthew....@gatech.edu
on 27 Oct 2010 at 2:20
I realize that this bug is about the evangelism site, but I wanted to note that
I've added it to the Wikipedia page
(http://en.wikipedia.org/wiki/User:ProveIt_GT#Free_and_open_source).
Original comment by matthew....@gatech.edu
on 28 Oct 2010 at 12:09
Fixed in revision dc420.
Original comment by matthew....@gatech.edu
on 28 Oct 2010 at 10:10
Original issue reported on code.google.com by
kurt.luther
on 26 Oct 2010 at 10:08