Made vet happy

This commit is contained in:
Jef Roosens 2022-04-06 17:57:05 +02:00
parent e9d7858380
commit 75dfc5267b
Signed by untrusted user: Jef Roosens
GPG key ID: B75D4F293C7052DB
9 changed files with 6 additions and 11 deletions

View file

@ -1,8 +1,6 @@
module server
import web
import os
import json
import git
const repos_file = 'repos.json'