view tests/README @ 1743:1e940643a5f0

Report which files lead to duplicate module names
author Adam Chlipala <adam@chlipala.net>
date Fri, 04 May 2012 10:38:22 -0400
parents d40104c112df
children
line wrap: on
line source
Most of these tests are broken, which is why they are masked out for the official code releases.
Use at your own risk, and expect no support from anyone!