Mercurial > urweb
annotate src/coq/README @ 861:bd153951c794
Fix env-reading bug in fastcgi; a bunch of non-AJAXy demos working
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 27 Jun 2009 15:36:56 -0400 |
parents | de8333ef1a0c |
children | 705cb41ac7d0 |