]> git.saurik.com Git - bison.git/commit
projects / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 411614f) | patch
maint: get gpl-3.0 from gnulib
authorJim Meyering <meyering@redhat.com>
Mon, 16 Jan 2012 10:47:05 +0000 (11:47 +0100)
committerJim Meyering <meyering@redhat.com>
Thu, 19 Jan 2012 05:56:12 +0000 (06:56 +0100)
commitb87414a05e43ed270d5a88d365d0139f43acb34d
treec27ca8f4251bbc51c68045e9d39eb7424efb9ecatree | snapshot
parent411614fac478a60cf942dc5e2011a08178156d30commit | diff
maint: get gpl-3.0 from gnulib

* 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.
bootstrap.conf diff | blob | blame | history
doc/.gitignore diff | blob | blame | history
doc/gpl-3.0.texi [deleted file] blob | blame | history
bison