diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2014-10-26 20:17:50 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2014-10-26 20:17:50 +0100 |
| commit | d86b7f31928a26c66d570754dafec5f63d2edd40 (patch) | |
| tree | 478a93fe7e98f225c90164d69e1ce3dff69137f0 /project.properties | |
| parent | cb21eac5013b262189e2d39517666e25e2886fe0 (diff) | |
| parent | 020dc863b17a1c9f9c6cb9ff5798d8fcc79a406e (diff) | |
Merge pull request #588 from betheg/remove_unused_cast
remove some unused cast
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions