diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-11 11:52:53 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-11 11:52:53 +0100 |
| commit | 854cc695a1f64a9b37957fdcd81c1ce23a6a2d69 (patch) | |
| tree | 0891aa6ab0df50bd5f06bda2d4b5a1c93ee9d392 /.gitignore | |
| parent | c463f9fb197f70f97831b3648bc398be8ff9ae7d (diff) | |
Try to make drat work
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions