@ikluft
ikluft move files up from build/ dir; rmdir build
a3771d7 Nov 13, 2022
move files up from build/ dir; rmdir build 
conflict with Build script on case-insensitive systems
a3771d7