Mercurial > urweb
diff src/coq/README @ 1568:0fab80567fa3
Fix searching for underscore elements in PDF files.
author | Ron de Bruijn <rmbruijn@gmail.com> |
---|---|
date | Fri, 30 Sep 2011 08:16:50 -0400 |
parents | de8333ef1a0c |
children | 705cb41ac7d0 |
author | Ron de Bruijn <rmbruijn@gmail.com> |
---|---|
date | Fri, 30 Sep 2011 08:16:50 -0400 |
parents | de8333ef1a0c |
children | 705cb41ac7d0 |