Closed TheDiscordian closed 1 year ago
No more shell scripts in ./tools, MakeFile now.
./tools
Well, we're going to keep the scripts, but now to be invoked via a Makefile!
No more shell scripts in
./tools
, MakeFile now.