Rename space dev files

2022-07-04 10:50:52 +02:00
parent 4aed9511f6
commit a798fe0b18
3 changed files with 2 additions and 2 deletions
@@ -23,5 +23,5 @@ fun warmupJob(ide: Ide, devfilePath: String) {
    }
 }

-warmupJob(Ide.Idea, ".space/idea.yaml")
-warmupJob(Ide.Fleet, ".space/fleet.yaml")
+warmupJob(Ide.Idea, ".space/idea.devfile.yaml")
+warmupJob(Ide.Fleet, ".space/fleet.devfile.yaml")