Christoph Kirsch

Results 14 comments of 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?