diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-06-28 15:02:22 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-06-28 15:02:22 +0200 |
| commit | 902ce91fd6006e6df57a8d5133676981967d49b4 (patch) | |
| tree | ca0a2e19e33111855c12c12b99df63a047275cec /test-suite/bugs/closed/3354.v | |
| parent | a0b48c4d55cd18655d8e79e6d66b0a0a0651fe3d (diff) | |
Reinstall Set Printing Universes option overwritten by Maxime!
Diffstat (limited to 'test-suite/bugs/closed/3354.v')
0 files changed, 0 insertions, 0 deletions