mirror of
https://github.com/MariaDB/server.git
synced 2025-02-02 12:01:42 +01:00
refs #186 Rename utils/ -> tools/
This commit is contained in:
parent
6e76df11b1
commit
7a5f8ba8a8
9 changed files with 1 additions and 1 deletions
|
@ -52,7 +52,7 @@ add_subdirectory(portability)
|
|||
add_subdirectory(ft)
|
||||
add_subdirectory(locktree)
|
||||
add_subdirectory(src)
|
||||
add_subdirectory(utils)
|
||||
add_subdirectory(tools)
|
||||
|
||||
## subdirectories that just install things
|
||||
add_subdirectory(include)
|
||||
|
|
Loading…
Add table
Reference in a new issue