-
Niels De Graef authored
Since we're no longer using a directory with the name `build` anymore, it's safe to use it as the name for the build directory. (It's also easier to type)
b6f9b80d
Since we're no longer using a directory with the name `build` anymore, it's safe to use it as the name for the build directory. (It's also easier to type)