Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
genltl.cc
Find file
Blame
History
Permalink
remove options -! and -" from genltl
· e826710c
Alexandre Duret-Lutz
authored
Mar 01, 2017
Fixes
#237
. * bin/genltl.cc: Fix the numbering of options. * NEWS: Mention the bugs.
e826710c