search

ganga-devs / ganga

Ganga is an easy-to-use frontend for job definition and management
GNU General Public License v3.0
100 stars 159 forks source link

Choose `-opt` platform if available #2388

Closed mesmith75 closed 3 weeks ago

mesmith75 commented 3 weeks ago

Fixes #2386