chiark / gitweb /
lint: new category
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 30 Aug 2015 01:24:18 +0000 (18:24 -0700)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 30 Aug 2015 01:24:18 +0000 (18:24 -0700)
fdroidserver/lint.py

index ad9d298179a1539d0309a93a8807c821f7da00ad..8b31f051197cb7e01989c93634ef3d40d50f4642 100644 (file)
@@ -111,6 +111,7 @@ regex_warnings = {
 }
 
 categories = Set([
+    "Connectivity",
     "Development",
     "Games",
     "Internet",