1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

merge 10-base->10.0

This commit is contained in:
unknown
2013-11-11 23:40:53 +02:00
50 changed files with 617 additions and 108 deletions

View File

@@ -59,6 +59,7 @@ SET(HEADERS
my_attribute.h
my_compiler.h
handler_state.h
handler_ername.h
)
INSTALL(FILES ${HEADERS} DESTINATION ${INSTALL_INCLUDEDIR} COMPONENT Development)