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
xmlschema
dsa
do-not-disturb
webusercontrol
occlusion
wikimedia
org-table
em-websocket-client
teradata-aster
flowlayout
qradiobutton
null-coalescing
tokio
r-environment
python-arango
android-tap-and-pay
peer-dependencies
clock
spring-transactions
wall-time
preconnect
quake2
sslexception
snpe
7-bit
versions
chrono
acrobat-sdk
visual-c#-express-2010
webservicehost
