diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-12-03 15:13:59 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-12-03 15:13:59 +0100 |
| commit | bde136db0a42fad5e128f40d8298bd9a35b96491 (patch) | |
| tree | 178f4efc8ca9e32938e61e8a1d3ee31ed390c5f7 /.gitignore | |
| parent | ae8ba4b0e52aae9b317b0244e7162037bee9d27b (diff) | |
Small doc improvement
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions