On Sun, Feb 28, 2016 at 04:17:58PM +0100, Ludovic Courtès wrote: > > Why the difference? > > See <http://bugs.gnu.org/21949>.
Just great :) --
- Installing headers to a separate output? Ricardo Wurmus
- Re: Installing headers to a separate output? Andreas Enge
- Re: Installing headers to a separate output? Efraim Flashner
- Re: Installing headers to a separate output? Ludovic Courtès
- Re: Installing headers to a separate output? Ricardo Wurmus
- Re: Installing headers to a separate out... Pjotr Prins
- git download size Ricardo Wurmus
- Re: git download size Ludovic Courtès
- Re: git download size Pjotr Prins
- Re: git download size Ludovic Courtès
