new gitignore
Description
Description
Details
Details
- Committed
frei Nov 5 2021, 08:31 - Pushed
frei Nov 9 2021, 12:25 - Parents
- rCOSOLVER1c8307fec505: cleanup directory
- Branches
- Unknown
- Tags
new gitignore
new gitignore
Authored by frei on Nov 5 2021, 08:31.
Tags
None
Subscribers
None