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
tchar
mlogit
dbup
network-tools
stringtokenizer
ontorefine
renewcommand
rundll32
exim
mapbox-api-geocoding
php-cs-fixer
adobe-pdf-library
bcmath
djoser
chart.js
rancher
tail-recursion
chararray
fsyacc
adobe
propertyconfigurator
cocos2d-x-3.x
xc8
fixed-length-file
apache-calcite
pysvn
cmd.exe
c5.0
deepnote
redux-saga-firebase
