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: Wed, 18 Jan 2012 16:05:13 +0100

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

> * 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.

Fine!


reply via email to

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