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 | ac98735a16590eab2f1b7065e5cdefab5d75157a (patch) | |
tree | 961026420afc60d80803ccc6eaee0e27415fab6e /doc | |
parent | 6ccb0b4eba0a824a5fc919061b176d6d25dae626 (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 |