1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Formatting changes requested by Monty

This commit is contained in:
magnus@neptunus.(none)
2004-04-15 09:17:55 +02:00
parent 7c2c408cb8
commit 50ff8ea369
4 changed files with 5 additions and 5 deletions