Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Many redundant header #3751

Closed
jackwener opened this issue Jan 18, 2022 · 0 comments
Closed

Many redundant header #3751

jackwener opened this issue Jan 18, 2022 · 0 comments
Assignees
@jackwener
Labels
type/enhancement Type: make the code neat or more efficient

Comments

@jackwener
Copy link
Contributor

Introduction

Maybe due to the auto import, there are so many redundant header in some file

Contents

Related work
@jackwener jackwener added the type/enhancement Type: make the code neat or more efficient label Jan 18, 2022
@jackwener jackwener mentioned this issue Jan 18, 2022
Closed
11 tasks
@jamieliu1023 jamieliu1023 mentioned this issue Jan 22, 2022
Closed
@jackwener jackwener self-assigned this Jan 24, 2022
@Sophie-Xie Sophie-Xie added this to the v3.1.0 milestone Jan 27, 2022
@Sophie-Xie Sophie-Xie removed this from the v3.1.0 milestone Mar 4, 2022
@jamieliu1023 jamieliu1023 mentioned this issue Mar 5, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jackwener jackwener

Labels
type/enhancement Type: make the code neat or more efficient
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Remove redundant header jackwener/nebula
2 participants
@jackwener @Sophie-Xie