diff options
| author | Tilman Vatteroth | 2020-11-14 22:26:25 +0100 |
|---|---|---|
| committer | Tilman Vatteroth | 2020-11-14 22:26:25 +0100 |
| commit | 1d919795407dc58f67859a0d90edaddd756519dd (patch) | |
| tree | f6e34f04f41a07ea21a08da38496eb4fcf9c4da4 /.gitignore | |
| parent | 978538c0de5afcf6cf4a21c0782a6b1e7fa57d9d (diff) | |
Revert incomplete text
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions