Merge branch 'mainstream'
authorGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Sat, 6 Jul 2013 17:00:44 +0000 (19:00 +0200)
committerGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Sat, 6 Jul 2013 17:00:44 +0000 (19:00 +0200)
1  2 
Makefile.am

diff --cc Makefile.am
Simple merge