diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2019-01-29 16:46:15 +0100 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2019-01-29 16:46:15 +0100 |
| commit | af046f01f8350f1bc9e585656cb56f3508a65d7f (patch) | |
| tree | 329a04f664fd362440097ccb5bc22b8e941c529d /work | |
| parent | fda41e399edf12c65b177ffbb98bc511b8f6463a (diff) | |
Make getting the size platform dependent
Diffstat (limited to 'work')
0 files changed, 0 insertions, 0 deletions