|
From: | Jim Meyering |
Subject: | Re: bug in gnu time 1.7 |
Date: | Wed, 21 Jan 2015 15:10:36 -0800 |
On Wed, Jan 21, 2015 at 1:30 PM, David C Niemi <address@hidden> wrote: > I'm trying to set GNU Time up in Git. Will let you know if I succeed. Glad to hear it. For a project like GNU time, savannah.gnu.org should host the primary repository. Let me know if you'd like a hand.
[Prev in Thread] | Current Thread | [Next in Thread] |