github.com/cockroachdb/cockroach@v20.2.0-alpha.1+incompatible/docs/tla-plus/.gitignore (about)

     1  **/.DS_Store
     2  **/*.toolbox/.project
     3  **/*.toolbox/.settings
     4  **/*.toolbox/model
     5  **/*.toolbox/*aux
     6  **/*.toolbox/*.log
     7  **/*.toolbox/*.pdf
     8  **/*.toolbox/*.tex
     9  **/*.toolbox/*.pmap
    10  **/*.toolbox/*___Model*SnapShot*.launch
    11  **/*.toolbox/**/*.tla
    12  **/*.toolbox/**/*.out
    13  **/*.toolbox/**/MC.cfg
    14  **/*.pdf
    15  **/*.old
    16  **/*~