comparison src/coq/Makefile @ 2139:8c81cd351c1a

Allow URIs specified in file directives implicitly It seems to me that, by specifying that one wants to serve a given file at a specified URI, one is implying that this URI should be allowed.
author Julian Squires <julian@cipht.net>
date Fri, 24 Apr 2015 16:21:55 -0400
parents 705cb41ac7d0
children
comparison
equal deleted inserted replaced
2138:3ca67d73fa5d 2139:8c81cd351c1a