Skip to content

Commit

Permalink
src/sage/misc/dist.py: Remove; deprecated in #30207 (2022)
Browse files Browse the repository at this point in the history
  • Loading branch information
Matthias Koeppe committed Apr 23, 2024
1 parent 15fcf52 commit 5a8b125
Show file tree
Hide file tree
Showing 3 changed files with 0 additions and 169 deletions.
1 change: 0 additions & 1 deletion src/doc/en/reference/misc/index.rst
Original file line number Diff line number Diff line change
Expand Up @@ -219,7 +219,6 @@ Distribution
:maxdepth: 1

sage/misc/package
sage/misc/dist


Credits
Expand Down
1 change: 0 additions & 1 deletion src/sage/misc/all.py
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,6 @@
lazy_import('sage.misc.dev_tools', 'runsnake', deprecation=34259)
lazy_import('sage.misc.edit_module', 'set_edit_template', deprecation=34259)
lazy_import('sage.misc.profiler', 'Profiler', deprecation=34259)
lazy_import('sage.misc.dist', 'install_scripts', deprecation=34259)
lazy_import('sage.misc.trace', 'trace', deprecation=34259)
lazy_import('sage.misc.package', ('installed_packages', 'is_package_installed',
'standard_packages', 'optional_packages',
Expand Down
167 changes: 0 additions & 167 deletions src/sage/misc/dist.py

This file was deleted.

0 comments on commit 5a8b125

Please sign in to comment.