j
k
j a
j l
On 02/11/2014 01:37 PM, Daniel-Constantin Mierla wrote:
The clone on github is synchronized with every commit, in real time -- so it should be with the same content as the main git repo.
That's true; I hadn't considered that. Thanks.
Back to the thread
Back to the list