commit df6841b7d543abc9731b4b42a2392089a41fb838 Merge: 9f2642d ea4f1a9 Author: Stefano Lattarini <stefano.lattar...@gmail.com> AuthorDate: Mon Feb 6 23:17:32 2012 +0100 Commit: Stefano Lattarini <stefano.lattar...@gmail.com> CommitDate: Mon Feb 6 23:17:32 2012 +0100
Merge branch 'maint' into yacc-work * maint: (75 commits) test defs: function 'is_newest' now works also with directories refactor: new variable telling whether make is running in "dry mode" ...