flint-configuration

flint-configuration

My personal configuration scripts for Linux/GNU, MacOS, Cygwin, BSD, and WSL.