Tidy folder by adding some things to .gitignore#281

Merged

andrewbaxter439 merged 1 commit intodevelopfrom

Nov 3, 2025

Commits on Oct 30, 2025

removing and ignoring some regularly changing but user-specific files
andrewbaxter439
committed