Fabio Erculiani 4dce27436c [git-hooks] update post-merge hook, drop make.conf cp, no longer required

2013-05-27 17:53:42 +02:00

..

post-merge

[git-hooks] update post-merge hook, drop make.conf cp, no longer required

2013-05-27 17:53:42 +02:00