Dont save preferences if gid does not save

Open escolano opened this issue 5 years ago • 0 comments

Sometimes GiD don't want to save it's preferences, so the problemtype shouldn't

Dec 17 '20 11:12 escolano