diff options
| -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/ |