diff options
author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2012-08-11 09:29:15 +0200 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2012-08-11 15:00:04 +0200 |
commit | 7cc9d6e154618b4416ec1b11fa5f8ab52db2b8ff (patch) | |
tree | 7ccc1d4c3ad2a02f5de82e3b976d3a74f5914a95 /lib | |
parent | bfa7bcc29f726f8fe938458e8392fe5065ecebe6 (diff) | |
download | gnutls-7cc9d6e154618b4416ec1b11fa5f8ab52db2b8ff.tar.gz |
the new makeinfo sets the FLOAT_NAME by default.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions