guile: Merge the (gnutls extra) module in (gnutls); deprecate it.
commit92e8e071d322b9822167390546115e9b20b84fb9
authorLudovic Courtès <ludo@gnu.org>
Thu, 3 Nov 2011 22:58:19 +0000 (3 23:58 +0100)
committerLudovic Courtès <ludo@gnu.org>
Thu, 3 Nov 2011 22:58:19 +0000 (3 23:58 +0100)
tree6b02066d0743af105fe5bdbaeecb2499b7021dd3
parent6fc13e2285a988b97764a8ea080961d80a603310
guile: Merge the (gnutls extra) module in (gnutls); deprecate it.
12 files changed:
guile/modules/gnutls.scm
guile/modules/gnutls/build/enums.scm
guile/modules/gnutls/build/smobs.scm
guile/modules/gnutls/extra.scm
guile/pre-inst-guile.in
guile/src/Makefile.am
guile/src/core.c
guile/src/extra.c [deleted file]
guile/src/make-enum-header.scm
guile/src/make-enum-map.scm
guile/src/make-smob-header.scm
guile/src/make-smob-types.scm