diff src/coq/Makefile @ 2024:6372a742ab04

Allow '+' char in blessMime See this one [1] for an example [1] - http://www.w3.org/TR/SVGTiny12/mimereg.html
author Sergey Mironov <grrwlf@gmail.com>
date Thu, 05 Jun 2014 20:36:12 +0000
parents 705cb41ac7d0
children
line wrap: on
line diff