mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-18 13:02:28 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
mariadb/Docs/Support
History
tim@threads.polyesthetic.msg 4cd1400fb3 Patch our texi2html to produce more correct HTML. 
Thanks to Colin Faber <cfaber@fpsn.net> for the patch.
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