diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2015-11-23 00:22:35 +0100 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2015-11-23 00:22:35 +0100 |
commit | 5a35bb903d27a6e0dee99a1ca8209e5d0de46308 (patch) | |
tree | 6d2ed2498b6567e6c813592de60922b892043000 /platform | |
parent | 2674565cf671fefbe894559f325f0fedca8be8b2 (diff) | |
parent | 6e98b05837ae1f42f2daa427d75dba156a2476fc (diff) |
Merge pull request #1820 from guilhermefelipecgs/master
Remove duplicated filter, Fix #1795
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions