diff options
| author | Jude Taylor <me@jude.bio> | 2016-08-16T21·09-0700 |
|---|---|---|
| committer | Jude Taylor <me@jude.bio> | 2016-08-16T21·09-0700 |
| commit | ca0bce28512bfa8029cc072bb7154b4b6c50c0a6 (patch) | |
| tree | 079b93086d4703a2071a96c6d6307cda383ecde7 /doc/manual | |
| parent | cfb77d6e5ba03f40743ba17eef20266909ac5640 (diff) | |
remove double casting
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions