diff options
| author | Jo-Philipp Wich <jo@mein.io> | 2017-10-25 14:23:45 +0200 |
|---|---|---|
| committer | Jo-Philipp Wich <jo@mein.io> | 2017-10-25 14:40:05 +0200 |
| commit | 07e7ff07aa45ca8b49ab7290bce89aac6994f9a0 (patch) | |
| tree | e94b566f5498d2ad11e10e0316646a3820d17453 /.project | |
| parent | b74ef26beccc3149184ffdba794734f40fed3da4 (diff) | |
Fixes #1413.
Reported-by: Wojciech Jowsa <wojciech.jowsa@gmail.com>
Signed-off-by: Jo-Philipp Wich <jo@mein.io>
(cherry picked from commit fbe7f90eed4545e4b23a940a47043a2001625429)
Diffstat (limited to '.project')
0 files changed, 0 insertions, 0 deletions