(no, actually, what I'm doing here is pushing my very first change: A .bat for the gitignore, so that I can keep my compilation script in the same folder as executables.)