summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNils Gillmann <ng0@n0.is>2018-05-19 16:02:18 +0000
committerNils Gillmann <ng0@n0.is>2018-05-19 16:02:18 +0000
commit8b28cb7236c887c7a1cc21673e44ea81047f86db (patch)
treedc2a3084b1d6d7dc54213d35b9fc250a4f71c82d /.gitignore
parent614bd54d90da0cb680f59bfd147c25c42df00feb (diff)
contrib/scripts: lint-python.sh, small wrapper
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index b36fa3b1c..a85b26cd8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -50,3 +50,4 @@ src/identity-provider/gnunet-idp
src/namestore/perf_namestore_api_zone_iteration_flat
src/namestore/perf_namestore_api_zone_iteration_postgres
src/namestore/perf_namestore_api_zone_iteration_sqlite
+python-lint.log