diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2020-10-18 21:58:04 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2020-10-24 09:51:37 -0700 |
| commit | 255f561afffb26bae5c4de0c5fe2d60effb41103 (patch) | |
| tree | 7b2987886ad228dfabbbde11aaae933dd903e91d /core/save-profiledata.h | |
| parent | 694776eed1f88327237240e122e15b274a87994b (diff) | |
| download | subsurface-255f561afffb26bae5c4de0c5fe2d60effb41103.tar.gz | |
git: add device-table to git-parser-state
In analogy to the xml-parser add a device-table to git's parser-state.
Currently this is unused. In upcoming commits the git parser will
then be changed to add device nodes in this table instead of the
global device table. The long-term goal being to detach the
parsers from global state and to make dive-import fully undoable.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'core/save-profiledata.h')
0 files changed, 0 insertions, 0 deletions