diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-11-08 11:18:04 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-11-08 11:18:04 +0100 |
| commit | 8c1d788ee024fb78b2aa05451f1f702203fed548 (patch) | |
| tree | b8cac0b283a3ca939a704aef106ef1a561074ed8 /tactics/tactics.mllib | |
| parent | c60d155c2213461b8e4392b729445486086302d9 (diff) | |
| parent | cadb9e6614a1e72bf18f80acf0aabaeed4e9f057 (diff) | |
Merge remote-tracking branch 'github/pr/348' into v8.6
Was PR#348: Credits for 8.6
Diffstat (limited to 'tactics/tactics.mllib')
0 files changed, 0 insertions, 0 deletions