add gitignore file
Description
Description
Details
Details
- Committed
frei Nov 5 2021, 08:22 - Pushed
frei Nov 9 2021, 12:25 - Parents
- rCOSOLVERd112da23649c: clean up makefile
- Branches
- Unknown
- Tags
add gitignore file
add gitignore file
Authored by frei on Nov 5 2021, 08:22.
Tags
None
Subscribers
None