Merge remote-tracking branch 'github-privat/master'
authorAlexandre Terrasa <alexandre@moz-code.org>
Thu, 6 Dec 2012 04:34:15 +0000 (23:34 -0500)
committerAlexandre Terrasa <alexandre@moz-code.org>
Thu, 6 Dec 2012 04:34:15 +0000 (23:34 -0500)
commit39e1176864ee046be4ef21b911d3d4212cffa32a
tree61777ec6c3f481803a32fcc57ddc73d5597f1f35
parent3a33c71b890e1fe24330fc76c5b0115ca4039299
parentba26aacc7d106ff411c596f93a0d1a93971f73d0
Merge remote-tracking branch 'github-privat/master'

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/separate_compiler.nit
src/separate_erasure_compiler.nit