bug-bison
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 02/11] maint: get gpl-3.0 from gnulib


From: Akim Demaille
Subject: Re: [PATCH 02/11] maint: get gpl-3.0 from gnulib
Date: Mon, 23 Jan 2012 11:27:13 +0100

Le 18 janv. 2012 à 11:30, Jim Meyering a écrit :

> From: Jim Meyering <address@hidden>
> 
> * bootstrap.conf (gnulib_modules): Add gpl-3.0.
> * doc/gpl-3.0.texi: Remove from version control, now that
> we get it via gnulib.
> * doc/.gitignore: Ignore it.

Installed in branch-2.5.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]