mirror of
https://github.com/MariaDB/server.git
synced 2025-02-17 19:05:37 +01:00
10 lines
332 B
Modula-2
10 lines
332 B
Modula-2