diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-10-15 14:09:16 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-10-15 14:09:16 +0200 |
| commit | e307b3f5e6dfaf9061bfc2cba33c643bbda214be (patch) | |
| tree | b74a85ce2ae1a6d43cb78a16d0d9adf1e1aad4fa /tactics | |
| parent | 9d66b52dee17dcbdb45522fe3fcfa1fcdae65862 (diff) | |
Closed bug 3710.
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions