Merge branch 'mainstream'
authorGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Tue, 10 Dec 2013 13:38:28 +0000 (14:38 +0100)
committerGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Tue, 10 Dec 2013 13:38:28 +0000 (14:38 +0100)
1  2 
lib/automake.mk

diff --cc lib/automake.mk
Simple merge