-
Philippe Veber authored
This reverts commit 6429ea3b. Copying is not needed since a `make install` invocation installs the binary in the PATH.
f593bff0
Gitlab has been updated. More info here.
This reverts commit 6429ea3b. Copying is not needed since a `make install` invocation installs the binary in the PATH.