Berthold Stoeger d5e6a65944 cleanup: copy saved_git_id, don't use local buffer
In an attempt to reduce the number of global variables, don't use
a local buffer to store the currently loaded git-id. The git-id
itself is still a global variable, which in the future can hopefully
be encapsulated in a "struct File" or similar.

Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
2020-04-04 10:13:14 -07:00
..
2019-09-27 16:26:58 -07:00
2019-08-08 08:56:44 -07:00
2019-08-08 16:26:31 -07:00
2019-08-08 16:26:31 -07:00
2020-03-20 15:20:44 -07:00
2020-03-20 15:20:44 -07:00
2020-03-17 16:50:20 -07:00
2019-08-11 08:20:38 +02:00
2018-10-21 19:55:09 +03:00
2020-03-17 16:50:20 -07:00
2020-03-01 10:21:44 -08:00
2019-11-28 12:23:04 -08:00
2020-01-27 09:51:31 -08:00
2019-12-13 07:04:00 -05:00
2020-03-10 17:42:54 -07:00
2020-03-10 17:42:54 -07:00
2019-11-09 19:19:04 +01:00