diff options
| author | 2020-04-27 15:52:49 +0200 | |
|---|---|---|
| committer | 2020-04-27 22:48:15 +0300 | |
| commit | 5ba7c68433f2ca62c840b038603ee404dbc1ccc9 (patch) | |
| tree | aaa7996debcc8bb340821f5498c0d3755b3e87e4 /profile-widget | |
| parent | 006d630142c83e22c1aaee52864e3be4e62818ac (diff) | |
| download | subsurface-5ba7c68433f2ca62c840b038603ee404dbc1ccc9.tar.gz | |
cleanup: remove unused function get_divepoint_gas_string()
The last user was removed way back in commit
9fbd11744f1bfffbc6973e0f9483ae1630dd8722.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'profile-widget')
0 files changed, 0 insertions, 0 deletions