Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
bin
man
ltlfilt.x
Find file
Blame
History
Permalink
man: more bibliographic references
· 0edb2ad0
Alexandre Duret-Lutz
authored
Dec 07, 2015
* spot/bin/man/autfilt.x, spot/bin/man/dstar2tgba.x, spot/bin/man/ltlfilt.x: Add more bibliography.
0edb2ad0