Merge remote-tracking branch 'origin/rettichschnidi' into mingw-port
authorAntonio Ospite <ospite@studenti.unina.it>
Thu, 10 May 2012 13:57:19 +0000 (15:57 +0200)
committerAntonio Ospite <ospite@studenti.unina.it>
Thu, 10 May 2012 13:57:19 +0000 (15:57 +0200)
commitd25fcc3e360bf67203e185c7bfed7a740fca6641
treee4d75169dac53c5a59abcf14422a8140746d2fca
parenta90e2ac0541712553638996d2247046fe5b35001
parenteebd277e4483ec40903a4f078bf12634078aab6f
Merge remote-tracking branch 'origin/rettichschnidi' into mingw-port