Missing include folder in first configure

[mnieber]

When configuring csnGimias.py for the first time, the following folder does not yet exist, but gets created
"K:/Build/GIMIAS/executable/Gimias"

It does not appear in the public settings of Gimias (see projectData.json output file)
"publicSettings": {
"includeFolders": [
],

When configuring csnGimias.py for the second time, this folder is part of the public settings
"publicSettings": {
"includeFolders": [
"K:/Build/GIMIAS/executable/Gimias"
],

The projectData.json files should be the same, but they are not.

[mnieber]

I think this bug is fixed in the development version, I will check

[ivmartel]

Did you have time to check? Should we add this as an automated test?

[mnieber]

Sorry, still have not had time, maybe tomorrow I will be able to send you a fix.