diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2020-10-28 06:57:10 +0100 |
|---|---|---|
| committer |  bstoeger <32835590+bstoeger@users.noreply.github.com> | 2020-10-28 11:27:58 +0100 |
| commit | 7c70459f6cc087dd22bf1eb4d23b97acabea08e7 (patch) | |
| tree | a11a24cbf34827049bbfcdd8d99855513870fe5f /.DEREK.yml | |
| parent | d747d76762ad745b510c645706c2dd708fe20302 (diff) | |
| download | subsurface-7c70459f6cc087dd22bf1eb4d23b97acabea08e7.tar.gz | |
cleanup: remove unnecessary includes from maintab
These are artifacts from when the maintab contained more stuff.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to '.DEREK.yml')
0 files changed, 0 insertions, 0 deletions