diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-04-07 08:09:04 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-04-07 08:09:42 +0200 |
| commit | f4e1c347cf1861595609ba841d35c4a59b50bde2 (patch) | |
| tree | 4b148ac4f942eb67b9e1566d1eeb544314000092 /doc | |
| parent | ef76f3d62c83b8149cdbb95d93daf99fc1adb1e4 (diff) | |
| parent | fbf617a5f1a51bce59e023dbada9a4dd050e6c35 (diff) | |
Merge pull request #3972
fbf617a remove an assignment which is never used. (Yoichi Hirai)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions