1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge of 4.1 -> 5.0

This commit is contained in:
lenz@mysql.com
2005-06-01 15:11:14 +02:00
29 changed files with 76 additions and 327 deletions

View File

@ -80,9 +80,6 @@ if [ $BASE_SYSTEM != "netware" ] ; then
fi
for i in ChangeLog \
Docs/manual.html \
Docs/manual.txt \
Docs/manual_toc.html \
Docs/mysql.info
do
if [ -f $i ]