mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 05:22:25 +01:00
3e119f9298
delete auto-generated files remove in-place editing |
||
---|---|---|
.. | ||
db_server_proc.c.in | ||
db_server_util.c |