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
flash-player-11
hyper-api
ranorex
outlook-web-addins
osx-lion
mimer-sql
as-if
usergroups
asana-api
aws-organizations
connection-pool
angular-material-theming
replace
sourceanalyser
mailjet
facet
errorbar
game-theory
year2038
terminate-handler
angular-fullstack
.net-5
type-2-dimension
hmacsha256
warehouse
readonly
depth-camera
zope
node-ssh
bug-tracking
