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 /src/list_util.sig | |
| parent | c86883ac43bf44afba14628577ff37f8e3009021 (diff) | |
Warn that tests ought not to be used
Diffstat (limited to 'src/list_util.sig')
0 files changed, 0 insertions, 0 deletions