On 07/04/2018 19:07, Linus Torvalds wrote:
On Sat, Apr 7, 2018 at 8:48 AM, Willem Ferguson
Thanks very much. I tried this and it says "Unable to open git repository".
Yeah, I think you need a "git init" in that directory to make it an
actual git repository. Once that is done, Salvador's sequence should
Thank you. I should have thought of that.
I am fine now.
This message and attachments are subject to a disclaimer.
Please refer to
subsurface mailing list