diff --git a/devel.install b/devel.install index 77be813ded58fe32daec5b0c93aae652c1605694..14e34f52201c3e6e5c2d80dc4d946a70bd09b2e4 100644 --- a/devel.install +++ b/devel.install @@ -1,5 +1,4 @@