Commit 45272e75 authored by Robert Ricci's avatar Robert Ricci

Remove the -dev install targets

They are no longer needed, and were not usable by anyone but Rob anyway
parent 3f2dde2a
Pipeline #346 failed with stage