diff options
author | Emilio Pozuelo Monfort <pochu@debian.org> | 2019-11-27 14:42:38 +0100 |
---|---|---|
committer | Emilio Pozuelo Monfort <pochu@debian.org> | 2020-02-26 12:31:30 +0100 |
commit | 4c113abef81eb5e490aceb765bb36971c660db01 (patch) | |
tree | 2bca915f8722d9afefedf2eb43dcd5a3b8eb3796 /doc | |
parent | 32c5f4c30736a2cd637b3cd38ab907c67f21cc94 (diff) |
dist_config.py: remove unused file
Diffstat (limited to 'doc')
-rw-r--r-- | doc/README.releases | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/README.releases b/doc/README.releases index 60c7d6ec40..e142ddaacb 100644 --- a/doc/README.releases +++ b/doc/README.releases @@ -14,7 +14,6 @@ Security Tracker code See https://bugs.debian.org/783491 [ ] bin/tracker_service.py [ ] lib/python/debian_support.py -[ ] lib/python/dist_config.py [ ] lib/python/security_db.py [ ] Makefile |