Mercurial > urweb
diff src/coq/Name.v @ 1162:24a62b6412c4
Set additional request headers for POST RPCs
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 09 Feb 2010 17:00:31 -0500 |
parents | 75c7a69354d6 |
children |
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 09 Feb 2010 17:00:31 -0500 |
parents | 75c7a69354d6 |
children |