Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
bin
randaut.cc
Find file
Blame
History
Permalink
autfilt, randaut: rename --uniq to --unique
· a7c1d4c4
Alexandre Duret-Lutz
authored
Dec 29, 2014
for consistency with ltlfilt * src/bin/autfilt.cc, src/bin/randaut.cc: Here.
a7c1d4c4