Commit 67ca6940688ed14d84642b34df4f28a07b9d9f00

Stefano Lattarini 2011-06-01T18:58:35

Merge branch 'remake-rules-non-GNU-make' into maint