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.
--
Alex Balashov - Principal
Evariste Systems LLC
235 E Ponce de Leon Ave
Suite 106
Decatur, GA 30030
United States
Tel: +1-678-954-0670
Web:
http://www.evaristesys.com/,
http://www.alexbalashov.com/