From 8c789eea182874dbc9234ea7d41971a2181617e4 Mon Sep 17 00:00:00 2001 From: louie Date: Thu, 28 Sep 2023 16:39:22 -0400 Subject: Create rudimentary debian directory --- debian/source/options | 4 ++++ 1 file changed, 4 insertions(+) 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..077de7d --- /dev/null +++ b/debian/source/options @@ -0,0 +1,4 @@ +# +# ### dgit-maint-merge(7) workflow user need this ### +# single-debian-patch +# auto-commit -- cgit