diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2024-04-26 09:28:34 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2024-04-26 09:28:34 +0200 |
| commit | f2ec03f5a39026088da1e88f2fd6203f60b76398 (patch) | |
| tree | 74653a7a2027b44695cdc441334df7987f973390 /.gitignore | |
| parent | ee4ae7c92e3a794a62e33f9a1013f5f7989f4be8 (diff) | |
Remove unsupported build directories
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions