diff options
| author | Arnaud Spiwack | 2015-02-19 11:23:03 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-02-24 16:37:04 +0100 |
| commit | ebf4d8e58eeddaf5237447a9a0f21de48e72caa5 (patch) | |
| tree | 4ff0e577a13e8f459b513490812f031397640524 /lib/cArray.ml | |
| parent | 9ba579bb98ac8e8964a9baea376ce0c9a89f2615 (diff) | |
[info] tactical warning: do not suggest [info_auto] and [info_trivial].
Since they don't work anymore.
Diffstat (limited to 'lib/cArray.ml')
0 files changed, 0 insertions, 0 deletions