Christoph Kirsch
Christoph Kirsch
You are welcome to recommend turning off `make everything` in the channel.
I just pushed an updated `Makefile`. Feel free to suggest ways to utilize the `less` target in the channel. I am curious about minimal modifications that are easy to describe.
Thanks @ky7yk I will pull this at the end of the semester to avoid breaking students' builds.
@emmanuel-ferdman what is the purpose of this change?