Skip to content
GitLab
Explore
Sign in
Vcsn
Vaucanson 1
Repository
vaucanson1
include
generate_headers.sh
Find file
Blame
History
Permalink
* include/generate_headers.sh: Also erase context files directly
· f62fd347
Alexandre Duret-Lutz
authored
Sep 17, 2009
generated in vaucanson/include/vaucanson/, not only those in vaucanson/include/vaucanson/contexts/.
f62fd347