diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2019-12-12 22:58:53 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2020-03-20 15:20:44 -0700 |
| commit | 329641fdcdf7759d430aea2d2a115550bc5caf62 (patch) | |
| tree | 45e4e272f86c2f1429b3c9fff4e9f435bf9392a7 /theme/jquery.jqplot.min.js | |
| parent | ef821d7d94bbc69337c36f26a25d819e340b14f5 (diff) | |
| download | subsurface-329641fdcdf7759d430aea2d2a115550bc5caf62.tar.gz | |
Core: introduce invalid flag for dives
Implement reading/writing the flag from/to XML/git.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'theme/jquery.jqplot.min.js')
0 files changed, 0 insertions, 0 deletions