diff options
author | Reuben Thomas <rrt@sc3d.org> | 2014-07-19 00:00:23 +0100 |
---|---|---|
committer | Reuben Thomas <rrt@sc3d.org> | 2014-07-19 23:49:34 +0100 |
commit | 932b7edbcab80db4a912b7be33242105dee46b7b (patch) | |
tree | c7f0ed2ce65a8630c9095e6e9ea46269dab4f07e | |
parent | aa96ac511050c931366be90dfb1c440d3d8c49b1 (diff) | |
download | plptools-932b7edbcab80db4a912b7be33242105dee46b7b.tar.gz plptools-932b7edbcab80db4a912b7be33242105dee46b7b.tar.bz2 plptools-932b7edbcab80db4a912b7be33242105dee46b7b.zip |
Ignore source/local-options, keep it local!
-rw-r--r-- | debian/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
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/ |