[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Docs: make.texi: ; -> ,
From: |
Paul Smith |
Subject: |
Re: [PATCH] Docs: make.texi: ; -> , |
Date: |
Sun, 13 Feb 2011 18:35:22 -0500 |
Thank you for these two patches; I've applied them in my workspace.
--
-------------------------------------------------------------------------------
Paul D. Smith <address@hidden> Find some GNU make tips at:
http://www.gnu.org http://make.mad-scientist.net
"Please remain calm...I may be mad, but I am a professional." --Mad Scientist