mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-05 06:50:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

lint: new category

Browse source
This commit is contained in:
Daniel Martí 2015-08-29 18:24:18 -07:00
parent 3a331c5be1
commit d83d0c2520
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
fdroidserver/lint.py
View file

@ -111,6 +111,7 @@ regex_warnings = {
}
categories = Set([
"Connectivity",
"Development",
"Games",
"Internet",