projects / platform / upstream / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d48e62) | patch
maint: get gpl-3.0 from gnulib
authorJim Meyering <meyering@redhat.com>
Mon, 16 Jan 2012 10:47:05 +0000 (11:47 +0100)
committerAkim Demaille <demaille@gostai.com>
Sun, 22 Jan 2012 11:57:40 +0000 (12:57 +0100)
commit10c4beb7ea5262686243d2ab2d58000564b56b18
treec1b0fe7840442286709e53eb4cfb3e2a262c52c2tree | snapshot
parent2d48e624475f11eec9159ed4677dd4a09b7108a5commit | 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.
(cherry picked from commit b87414a05e43ed270d5a88d365d0139f43acb34d)
bootstrap.conf diff | blob | history
doc/.gitignore diff | blob | history
doc/gpl-3.0.texi [deleted file] blob | history
Domain: System / Toolchain;