From 8d2c8b2198dfd4a2b15cbece388d7cffb857a3a9 Mon Sep 17 00:00:00 2001 From: Kjeld Schouten Date: Wed, 16 Oct 2024 13:58:35 +0200 Subject: [PATCH] add devtrigger as well --- DEVTRIGGER | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 DEVTRIGGER diff --git a/DEVTRIGGER b/DEVTRIGGER new file mode 100644 index 000000000000..e69de29bb2d1