Justin M. Keyes f05a2891d3 build: rename build-related dirs ... Problem: Dirs "config", "packaging", and "third-party" are all closely related but this is not obvious from the layout. This adds friction for new contributors. Solution: - rename config/ to cmake.config/ - rename test/config/ to test/cmakeconfig/ because it is used in Lua tests: require('test.cmakeconfig.paths'). - rename packaging/ to cmake.packaging/ - rename third-party/ to cmake.deps/ (parallel with .deps/)		2022-06-28 04:02:29 -07:00
..
klee	build: rename build-related dirs	2022-06-28 04:02:29 -07:00