Commit 529bbe0b authored by Giulio Eulisse's avatar Giulio Eulisse Committed by Nikola Hardi
Browse files

Drop Proof as a dependency

parent a35ccb1f
Pipeline #1832646 passed with stage
in 4 minutes and 11 seconds