• Alexandre Duret-Lutz's avatar
    randltl: first stage of the reimplementation · 760d75cc
    Alexandre Duret-Lutz authored
    * src/bin/common_range.cc, src/bin/common_range.hh: New files,
    extracted from...
    * src/bin/genltl.cc: ... here.
    * src/bin/randltl.cc, src/bin/man/randltl.x: New files.
    * src/bin/Makefile.am, src/bin/man/Makefile.am: Adjust.
    * src/bin/man/genltl.x: Point to randltl(1).
    760d75cc