Update gitignore and Makefile#793

Open

peterstadler wants to merge 2 commits intodevfrom

update-gitignore

Commits on Nov 26, 2025

exclude various files and directories
peterstadler
committed

Commits on Nov 27, 2025

delete temporary files
peterstadler
committed