Open 0xm4v3rick opened 11 months ago
It would be good to have Import/Export Option for GAP settings, similar to the save option. Would be useful for different projects and wont have to remember what was there previously.
Hi @0xm4v3rick. Thanks for using GAP and taking the time to make a suggestion. I'll add that to the TODO list to look into at some point
It would be good to have Import/Export Option for GAP settings, similar to the save option. Would be useful for different projects and wont have to remember what was there previously.