Indeed you are right: I had some faulty (gitignored) files left over in my source tree. I cleaned up and it seems to work now.
Sorry about the confusion, and thanks for the help!
Cheers,
Pierre-François
Indeed you are right: I had some faulty (gitignored) files left over in my source tree. I cleaned up and it seems to work now.
Sorry about the confusion, and thanks for the help!
Cheers,
Pierre-François