diff options
author | Stijn Buys <ingar@osirion.org> | 2016-08-21 15:58:17 +0200 |
---|---|---|
committer | Stijn Buys <ingar@osirion.org> | 2016-08-21 15:58:17 +0200 |
commit | 85959db35e280a219c1ca02c15d08366a1b2be78 (patch) | |
tree | 1095a4d62f77e0d85b8c3db2f5251c12def4359a /doc/guide.html | |
parent | 6817dec0b405b325a2762e352ad2a5916c24542a (diff) |
Removed unnecessary cast.
Diffstat (limited to 'doc/guide.html')
0 files changed, 0 insertions, 0 deletions