From 855d400e79b96f6e9e8e3e87173cd2629b88d5cb Mon Sep 17 00:00:00 2001
From: peri4 <peri4ko@yandex.ru>
Date: Tue, 27 Aug 2024 17:32:04 +0300
Subject: [PATCH] enable debian 13 (now ondemand)

---
 platforms.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/platforms.json b/platforms.json
index e97e41c..fd8007d 100644
--- 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",