Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
further parser cleanups
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 8 Nov 2011 14:06:44 +0000 (15:06 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 8 Nov 2011 14:06:44 +0000 (15:06 +0100)
- kill some dead code related to the old lua console
- do not load a header at the *end* of another header
- solve some header inclusion madness created in this process


No differences found