savannah-register-public
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #14427] Submission of MetaLogic Inferen

From: Hans Åberg
Subject: [Savannah-register-public] [task #14427] Submission of MetaLogic Inference
Date: Fri, 31 Mar 2017 14:45:57 -0400 (EDT)
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_12_4) AppleWebKit/603.1.30 (KHTML, like Gecko) Version/10.1 Safari/603.1.30 
Follow-up Comment #8, task #14427 (project administration):

Thanks! It works now: it was the first item that was omitted, the GIT option,
and in addition, one has to wait some time for both GIT and the SSH key to be
registered.


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?14427>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]