On Mon, May 23, 2011 at 12:40 AM, Adam Chlipala <[email protected]> wrote: > > Do you have any suggestions for an interface that avoids this problem? What > would you think about a .urp-configurable whitelist of available header > names?
A whitelist in the .urp file seems good to me, much the same as mime types are white listed. Chris. -- http://www.bluishcoder.co.nz _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
