mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
Merge branch '10.6' into 10.11
This commit is contained in:
commit
e69f8cae1a
344 changed files with 8492 additions and 2501 deletions
|
|
@ -1,6 +1,6 @@
|
|||
SET(HEIDISQL_BASE_NAME "HeidiSQL_12.8_32_Portable")
|
||||
SET(HEIDISQL_BASE_NAME "HeidiSQL_12.10_32_Portable")
|
||||
SET(HEIDISQL_ZIP "${HEIDISQL_BASE_NAME}.zip")
|
||||
SET(HEIDISQL_URL "http://www.heidisql.com/downloads/releases/${HEIDISQL_ZIP}")
|
||||
SET(HEIDISQL_URL "https://www.heidisql.com/downloads/releases/${HEIDISQL_ZIP}")
|
||||
SET(HEIDISQL_DOWNLOAD_DIR ${THIRD_PARTY_DOWNLOAD_LOCATION}/${HEIDISQL_BASE_NAME})
|
||||
|
||||
IF(NOT EXISTS ${HEIDISQL_DOWNLOAD_DIR}/${HEIDISQL_ZIP})
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue