mirror of
https://github.com/MariaDB/server.git
synced 2025-10-27 05:56:07 +03:00
- Cherry-pick 51e48b9f89 - vscode gitignore
- Thanks Robin Dupret for the review.
Reviewed by:daniel@mariadb.org
holyfoot@mariadb.com