mirror of
https://github.com/MariaDB/server.git
synced 2025-11-08 00:28:29 +03:00
- Removed duplicate words, like "the the" and "to to" - Removed duplicate lines (one double sort line found in mysql.cc) - Fixed some typos found while searching for duplicate words. Command used to find duplicate words: egrep -rI "\s([a-zA-Z]+)\s+\1\s" | grep -v param Thanks to Artjoms Rimdjonoks for the command and pointing out the spelling errors.
21 KiB
21 KiB