• Alexandre Duret-Lutz's avatar
    Upgrade GPL v2+ to GPL v3+. · 1551c5d9
    Alexandre Duret-Lutz authored
    * NEWS: Mention this.
    * COPYING: Replace by GPL v3.
    * src/sanity/style.test: Check files with the wrong license,
    in case we forgot to update it during a merge.
    * Makefile.am, bench/Makefile.am, bench/emptchk/Makefile.am,
    bench/emptchk/defs.in, bench/emptchk/ltl-human.sh,
    bench/emptchk/ltl-random.sh, bench/emptchk/pml-clserv.sh,
    bench/emptchk/pml-eeaean.sh, bench/emptchk/pml2tgba.pl,
    bench/ltl2tgba/big, bench/ltl2tgba/defs.in, bench/ltl2tgba/known,
    bench/ltl2tgba/lbtt2csv.pl, bench/ltl2tgba/ltl2baw.in,
    bench/ltl2tgba/parseout.pl, bench/ltl2tgba/small,
    bench/ltlclasses/Makefile.am, bench/ltlclasses/defs.in,
    bench/ltlclasses/run, bench/ltlcounter/Makefile.am,
    bench/ltlcounter/defs.in, bench/ltlcounter/run,
    bench/scc-stats/Makefile.am, bench/scc-stats/stats.cc,
    bench/split-product/Makefile.am, bench/split-product/cutscc.cc,
    bench/split-product/pml2tgba.pl, bench/wdba/Makefile.am,
    bench/wdba/defs.in, bench/wdba/run, configure.ac, doc/Makefile.am,
    doc/dot.in, doc/tl/Makefile.am, ifac...
    1551c5d9