mirror of
https://github.com/MariaDB/server.git
synced 2025-09-02 09:41:40 +03:00
Merge 4.1 to 5.0
This commit is contained in:
@@ -87,7 +87,7 @@ done
|
||||
|
||||
# Non platform-specific doc files:
|
||||
DOC_FILES=" \
|
||||
COPYING COPYING.LIB README LICENSE.doc \
|
||||
COPYING README LICENSE.doc \
|
||||
Docs/mysqlbug.txt \
|
||||
";
|
||||
|
||||
|
Reference in New Issue
Block a user