-
-
Notifications
You must be signed in to change notification settings - Fork 491
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove useless 'file is not empty' comments from __init__.py files #32506
Milestone
Comments
Commit: |
New commits:
|
Author: Matthias Koeppe |
comment:3
ok |
Reviewer: Frédéric Chapoton |
comment:4
Thanks |
Changed branch from u/mkoeppe/remove_useless__file_is_not_empty__comments_from___init___py_files to |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This is for #32501 and will make it easier to see which of the
__init__.py
files have an actual content.Having this comment there appears to have been a workaround for hg, which is now irrelevant.
CC: @tscrim @fchapoton
Component: refactoring
Author: Matthias Koeppe
Branch/Commit:
1c106cd
Reviewer: Frédéric Chapoton
Issue created by migration from https://trac.sagemath.org/ticket/32506
The text was updated successfully, but these errors were encountered: