|
| 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] |