Mercurial > cpdt > repo
comparison src/Generic.v @ 543:af5de2d0b4ed
Fix HTML filename convention
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 Oct 2015 12:54:14 -0400 |
parents | ed829eaa91b2 |
children |
comparison
equal
deleted
inserted
replaced
542:f874c163f5e0 | 543:af5de2d0b4ed |
---|