mirror of
https://github.com/MariaDB/server.git
synced 2025-11-12 16:56:15 +01:00
882f6fa3aa
- 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. |
||
|---|---|---|
| .. | ||
| inc | ||
| r | ||
| t | ||
| disabled.def | ||