Mercurial > urweb
comparison src/coq/Syntax.v @ 1843:0da75c01a993
Make CGI programs use Status header to set HTTP status code
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 05 Mar 2013 09:29:50 -0500 |
parents | 75c7a69354d6 |
children |
comparison
equal
deleted
inserted
replaced
1842:052c5eedc9ea | 1843:0da75c01a993 |
---|