-
Alexandre Duret-Lutz authored
* src/bin/ltlfilt.cc (main): Call set_program_name(). * lib/progname.c, lib/progname.h: New files, from gnulib 1af55d85d9762a679b4302d5995f05ccd883e956. * lib/Makefile.am, m4/gnulib-cache.m4, m4/gnulib-comp.m4: Adjust.
8132f918