Accept all input formats (including those from plugins) (!77) · Merge requests · pub / Why3find · GitLab

Benjamin Jorge requested to merge accept-all-formats into master May 31, 2024

Fix #84 (closed), #85 (closed)