The TLA+ toolbox creates a lot of files and directories. What's a good way to work with the spec and the model and keep them versioned in git, and also use the
mitk
dotnet-interactive
token-swap-program
mergeinfo
rune
vb4android
android-textview-autosize
libmongoc
yeoman-generator-angular
iis
gatsby-plugin-styled-jsx
mahout
pymysql
copy-assignment
system.reflection
mammoth
line-plot
octobercms-backend
edititemtemplate
descriptor
audioflinger
google-source-repositories
non-standard-evaluation
reactfx
maya
image-compression
execv
google-schemas
multi-window
nanoexpress
