diff options
| author | Maxime Dénès | 2017-06-01 16:04:53 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-01 16:04:53 +0200 |
| commit | 42555d7652dde022f63ed6a8e42208b7b360918f (patch) | |
| tree | 503efcc035870a39e7e5c7b9e93ef9b45e41e671 /plugins | |
| parent | 11c1d469fc12e617d0840700bc01caf2a1d5276c (diff) | |
| parent | 96bbe0590417d8885ac09abf7d749c12172e16bc (diff) | |
Merge PR#449: make specialize smarter (bug 5370).
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions