mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-04-22 08:15:31 +02:00
Code Issues Projects Releases Packages Wiki Activity
mariadb/Docs/Support
History
unknown 4da43bddd7 Patch our texi2html to produce more correct HTML. 
Thanks to Colin Faber <cfaber@fpsn.net> for the patch.


Docs/Support/texi2html:
  Patch to close </TD>, which is needed for some browsers.
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted
2001-05-31 15:08:26 -04:00
..
.cvsignore Import changeset 2000-07-31 21:29:14 +02:00
generate-flag-images New argentina.eps flag 2001-01-01 20:53:24 +02:00
generate-mirror-listing.pl Import changeset 2000-07-31 21:29:14 +02:00
generate-text-files.pl Import changeset 2000-07-31 21:29:14 +02:00
make-makefile Import changeset 2000-07-31 21:29:14 +02:00
test-make-manual Make test-make-manual more portable. 2001-03-04 15:37:11 -05:00
texi2html Patch our texi2html to produce more correct HTML. 2001-05-31 15:08:26 -04:00
texinfo.tex Fix for Tex 3.0 2000-12-31 14:04:18 +02:00