[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnulib-tool: new option --gnu-make
From: |
Thien-Thi Nguyen |
Subject: |
Re: [PATCH] gnulib-tool: new option --gnu-make |
Date: |
Mon, 13 Mar 2017 07:58:19 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
() Paul Eggert <address@hidden>
() Sun, 12 Mar 2017 19:19:43 -0700
+ if false && $gnu_make; then
Typo?
--
Thien-Thi Nguyen -----------------------------------------------
(defun responsep (query)
(pcase (context query)
(`(technical ,ml) (correctp ml))
...)) 748E A0E8 1CB8 A748 9BFA
--------------------------------------- 6CE4 6703 2224 4C80 7502
signature.asc
Description: PGP signature