Paul Smith 9be3c0e2b2 * doc/make.texi: Clarify that the jobserver pipe is "blocking"		2019-09-07 18:27:26 -04:00
..
.gitignore
make.1
make.texi	* doc/make.texi: Clarify that the jobserver pipe is "blocking"	2019-09-07 18:27:26 -04:00
Makefile.am