Remove generated files that git follows.

* INSTALL, lbtt/INSTALL, lbtt/doc/texinfo.tex: Do not track
	anymore these generated files.
This commit is contained in:
Guillaume Sadegh 2009-04-15 21:00:51 +02:00
parent c5f8eafb01
commit 78f8f1640c
4 changed files with 7 additions and 7950 deletions

View file

@ -1,3 +1,10 @@
2009-06-05 Guillaume Sadegh <sadegh@lrde.epita.fr>
Remove generated files that git follows.
* INSTALL, lbtt/INSTALL, lbtt/doc/texinfo.tex: Do not track
anymore these generated files.
2009-06-05 Guillaume Sadegh <sadegh@lrde.epita.fr>
Add an algorithm to complement Büchi automata.