-
Michal Cadilhac authored
The main aims of this patch is to change Vaucanson's Licence to GPL and to remove `AUTHORS' from headers in all files. * include/vaucanson/r_automaton.hh, * include/vaucanson/standard_algorithms.hh, * include/vaucanson/vaucanson.hh, * include/vaucanson/misc/escaper.hh, * include/vaucanson/misc/support.hxx, * include/vaucanson/misc/static.hh, * include/vaucanson/misc/random.hxx, * include/vaucanson/misc/escaper.hxx, * include/vaucanson/misc/bitset.hh, * include/vaucanson/misc/iomanip.hh, * include/vaucanson/misc/deferrer.hh, * include/vaucanson/misc/limits.hh, * include/vaucanson/misc/bitset.hxx, * include/vaucanson/misc/selectors.hh, * include/vaucanson/misc/special_char_traits.hh, * include/vaucanson/misc/utility.hh, * include/vaucanson/misc/functors.hh, * include/vaucanson/misc/char_traits.hh, * include/vaucanson/misc/unique.hcc, * include/vaucanson/misc/iomanip.hxx, * include/vaucanson/misc/unique.hh, * include/vauc...
67594887