|
From: | Florian Weimer |
Subject: | [PATCH] make.texi (Remaking Makefiles): Mention MAKE_RESTARTS |
Date: | Tue, 24 Oct 2017 11:27:56 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.3.0 |
Thanks, Florian
0001-make.texi-Remaking-Makefiles-Mention-MAKE_RESTARTS.patch
Description: Text Data
[Prev in Thread] | Current Thread | [Next in Thread] |