summaryrefslogtreecommitdiff
path: root/src/c/urweb.c
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 13:37:52 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 13:37:52 -0400
commit20d3fa9974879189544b752e43842a67c1fec0b9 (patch)
treeadeed19de731e8e7988336ace88397b1e309e468 /src/c/urweb.c
parent3417bfbe670bd15796dd0fa8ca97209acfedfffb (diff)
allow/deny working in Mono_opt
Diffstat (limited to 'src/c/urweb.c')
0 files changed, 0 insertions, 0 deletions