diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-03-03 22:20:30 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-03-03 22:20:30 +0100 |
| commit | c135410086c256fcc74f579459687a83718148b9 (patch) | |
| tree | 3a674c331640d4fb61c3d6eef28c15810988785a /dev/db_printers.ml | |
| parent | 2d3916766d3f145643a994aa83174c98394d5baa (diff) | |
Fix test-suite file, this is currently a wontfix, but keep the
test-suite file for when we move to a better implementation.
Diffstat (limited to 'dev/db_printers.ml')
0 files changed, 0 insertions, 0 deletions