]> git.proxmox.com Git - systemd.git/commitdiff
Delete obsolete debian/source/options (not necessary with gbp).
authorMichael Stapelberg <michael@stapelberg.de>
Sat, 26 Apr 2014 08:18:23 +0000 (10:18 +0200)
committerMichael Stapelberg <michael@stapelberg.de>
Sat, 26 Apr 2014 08:18:23 +0000 (10:18 +0200)
debian/source/options [deleted file]

diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644 (file)
index 7423a2d..0000000
+++ /dev/null
@@ -1 +0,0 @@
-single-debian-patch