Merge branch 'mainstream'
authorGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Tue, 26 Nov 2013 15:56:56 +0000 (16:56 +0100)
committerGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Tue, 26 Nov 2013 15:56:56 +0000 (16:56 +0100)
1  2 
Makefile.am

diff --cc Makefile.am
Simple merge