Hi Thomas,
This was bothering me and caused me to lose my user parameters a couple of times. Let me know if there was a reason for not doing it in the first place.
Léna
Sorry, I can see that this happened when I changed the name of the user settings file. We should also delete the file from the repo, and I have just done that. Beware that you don't again lose your settings!
Hi Thomas, This was bothering me and caused me to lose my user parameters a couple of times. Let me know if there was a reason for not doing it in the first place. Léna