diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2017-07-28 21:18:38 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-07-28 22:03:22 -0700 |
commit | dff6c001d7d397730096c1044e3594d6660f889b (patch) | |
tree | 23bd0e634c700f4331f7bd2ebb255a26d1d2ac95 /android-mobile | |
parent | e04a81bcc06cb59aac348567ecc6c1978a89ca81 (diff) | |
download | subsurface-dff6c001d7d397730096c1044e3594d6660f889b.tar.gz |
Map: mark function as override
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'android-mobile')
0 files changed, 0 insertions, 0 deletions