Closed nthiery closed 7 years ago
I tried to clarify the (optional) role of the makefile, and did some minor language edits. Does that sound right?
Anyone cares, or should I just merge it?
I tried to clarify the (optional) role of the makefile, and did some minor language edits. Does that sound right?