mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-03-07 11:43:08 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
42149 commits 2857 branches 349 tags 1.6 GiB
Commit graph

1 commit

Author SHA1 Message Date
joerg@trift2.
d1f0a57a6d Add a dummy file for "Docs/manual.chm" as we need it for "make dist" to work. 2006-09-21 17:38:42 +02:00