mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-20 05:52:27 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
5456 commits 2784 branches 343 tags 1.6 GiB
Commit graph

3 commits

Author SHA1 Message Date
jcole@mugatu.spaceapes.com
16b1adf8d1 Added PDF versions of Flags. 
Fixed up Support/generate-flag-images.
 2002-03-13 23:16:56 -06:00
tfr@sarvik.tfr.cafe.ee
602b4c0e20 norway.eps, norway.gif, turkey.eps, turkey.gif: 
Update
mirrors.texi:
  Add new mirrors
manual.texi:
  Remove link to mxODBC
 2002-03-07 21:27:44 +02:00
tfr@sarvik.tfr.cafe.ee
0630c780cc manual.texi: 
* Fixed a link
norway.eps, norway.gif, norway.txt:
  new file
 2001-10-12 15:53:05 +02:00