Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
3b7b52027ca0cf9700804f1eed84c56478972845
3b7b52027ca0cf9700804f1eed84c56478972845
Switch branch/tag
spot
doc
tl
.gitignore
Find file
Normal view
History
Permalink
.gitignore
88 Bytes
Newer
Older
Add documentation for temporal logic operators.
Alexandre Duret-Lutz
committed
Apr 28, 2012
1
2
3
4
5
6
*.bbl
*.blg
*.idx
*.log
*.out
tmp.t2d
more files to ignore
Alexandre Duret-Lutz
committed
Apr 28, 2012
7
8
*.ilg
*.ind
More files to ignore.
Alexandre Duret-Lutz
committed
Jan 03, 2015
9
*.fls
more files to ignore
Alexandre Duret-Lutz
committed
Apr 28, 2012
10
11
12
*.fdb_latexmk
auto
_region_.tex