diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-04-17 11:21:19 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-04-17 11:21:19 -0400 |
commit | 8d5d88110f12eb56558cf6f1b1514338792487da (patch) | |
tree | 008cc81ac5e3bb18a922eecfb3d5cf075a4f6e79 /lib | |
parent | c86883ac43bf44afba14628577ff37f8e3009021 (diff) |
Warn that tests ought not to be used
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions