diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2020-04-04 12:22:50 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2020-04-04 10:13:14 -0700 |
| commit | d5e6a6594479b50a8d0f0d400e0c2dd3b8247db4 (patch) | |
| tree | 9545731770184f2d0ac897c7429bc63288d6e5d5 /.gitmodules | |
| parent | 8c63d4e2bddbd5e5b1c4b58c254151675dcd4ca5 (diff) | |
| download | subsurface-d5e6a6594479b50a8d0f0d400e0c2dd3b8247db4.tar.gz | |
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>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions