From a9cdccbffffdd2e58b5cc69683682517e892ea40 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Sun, 7 Apr 2024 18:18:57 +0200
Subject: Adding debian version 3.7.10-0+deb12u1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 debian/source/options | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 debian/source/options

(limited to 'debian/source/options')

diff --git a/debian/source/options b/debian/source/options
new file mode 100644
index 0000000..b57c560
--- /dev/null
+++ b/debian/source/options
@@ -0,0 +1 @@
+extend-diff-ignore = "^html/"
-- 
cgit v1.2.3