9 Oct
2015
9 Oct
'15
3:23 p.m.
On Fri, 2015-10-09 at 09:55 +0200, Martin Kletzander wrote:
With this we could stop generating whole bunch of other stuff in $(srcdir) See output of `git grep -F '> $(srcdir)'` for details =)
That would be very nice indeed! I'll look into it. Cheers. -- Andrea Bolognani Software Engineer - Virtualization Team