diff options
author | iNPUTmice <daniel@gultsch.de> | 2014-07-20 12:21:04 +0200 |
---|---|---|
committer | iNPUTmice <daniel@gultsch.de> | 2014-07-20 12:21:04 +0200 |
commit | 9ddd2f195e5e20394a5f911f397f57ab7441ebb9 (patch) | |
tree | 31ff8967834b4765faae274136694bc9c51f76f9 /project.properties | |
parent | 0ee7cd136a2bad17aaa5dc5deea36dcffdbdb195 (diff) |
fixed typos reported by @jelmer fixed #288
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions