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
twistd
scalatags
oms
eclipse-fragment
adaptive-dialogs
httplistenerrequest
gitlab-runner
xa
happens-before
splitter
usernametoken
maxscale
iot-devkit
outer-classes
fisher-yates-shuffle
primality-test
geoviews
smtp-auth
compojure
tokenize
dft
waitgroup
pseudo-element
facebook-app-requests
generic-type-parameters
grub
focuslistener
excel-2019
memberof
ios-darkmode
