enable debian 13 (now ondemand)

2024-08-27 17:32:04 +03:00
parent 511eeb0865
commit 855d400e79
1 changed files with 2 additions and 1 deletions
--- a/platforms.json
+++ b/platforms.json
@@ -82,7 +82,8 @@
      ]
    },
    "Debian 13": {
-      "enabled": false,
+      "enabled": true,
+      "ondemand": true,
      "codename": "trixie",
      "docker_dir": "linux_desktop",
      "docker_image": "debian13",