Re: [Github-comments] [geany/geany-plugins] Workbench: project-related and global build commands (#733)