Berthold Stoeger ba4d6ae627 Cleanup: use clear_git_id() instead of setting saved_git_id
For better encapsulation, use clear_git_id() in clear_dive_file_data()
instead of setting saved_git_id directly.

Thus, memory management of the saved_git_id value is encapsulated
and can be modified more easily.

Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
2019-08-04 16:22:19 -07:00
..
2018-07-18 02:09:15 +03:00
2019-07-18 06:01:07 -07:00
2017-04-29 13:32:55 -07:00
2018-10-21 19:55:09 +03:00
2018-10-21 19:55:09 +03:00
2018-10-21 19:55:09 +03:00
2019-07-18 06:01:07 -07:00
2019-07-18 06:01:07 -07:00
2019-05-29 15:04:33 +03:00
2018-05-30 21:47:07 -07:00
2017-04-29 13:32:55 -07:00
2019-07-18 06:01:07 -07:00
2017-04-29 13:32:55 -07:00
2019-01-16 02:38:30 +01:00