Skip to content
Snippets Groups Projects
Commit 00e18d3d authored by Timothée Floure's avatar Timothée Floure
Browse files

Fix $DESTDIR usage in Makefile

parent e1714457
Branches master
No related merge requests found
Pipeline #1635 passed with warnings with stages
in 12 minutes and 57 seconds