From 932b7edbcab80db4a912b7be33242105dee46b7b Mon Sep 17 00:00:00 2001 From: Reuben Thomas Date: Sat, 19 Jul 2014 00:00:23 +0100 Subject: Ignore source/local-options, keep it local! --- debian/.gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/.gitignore b/debian/.gitignore index 39605bb..763334f 100644 --- a/debian/.gitignore +++ b/debian/.gitignore @@ -10,5 +10,6 @@ plptools.postrm.debhelper plptools.prerm.debhelper plptools.substvars plptools/ +source/local-options tmp/ tmpnone/ -- cgit v1.2.3