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
textmate
pinning
seed
python-cmath
azure-container-registry
jupyter-server
simplecov
resemblejs
adxstudio-portals
libsass
safari-extension
android-components
external-js
two-way-binding
read-eval-print-loop
webdriverwait
python-module
pollingduplexhttpbinding
variable-length-array
minikube
highlight
xamarin-native
powershell-module
layer-list
gtkbutton
processbuilder
agentset
onblur
wdk
intellij-idea
