allow setting patches file location through --patches-file option (fixes #25)#26
Merged
TomasVotruba merged 6 commits intosymplify:mainfrom rmobis:feature/patches-fileNov 17, 2024
+84-8
--patches-file option (fixes #25)#26