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 | bd6f2a53ce340b7c064c48bccaff1fa4a1f57ab4 (patch) | |
tree | b4b687c17fe8bf8209e6610f31be9af86aca1a40 /doc | |
parent | c69065d73fd5ac70a03f768e3ce43332e3872258 (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 |