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

Remove unneeded directory #118

Merged
merged 2 commits into from
Oct 10, 2023
Merged

Remove unneeded directory #118

merged 2 commits into from
Oct 10, 2023

Conversation

sksat
Copy link
Member

@sksat sksat commented Oct 5, 2023 •
edited

概要

もう不要なディレクトリを消す

Issue

詳細

  • src/src_user/BootLoader を消した
  • src/src_user/ReProgramming を消した

@sksat sksat added invalid This doesn't seem right priority::medium priority medium labels Oct 5, 2023
@sksat sksat self-assigned this Oct 5, 2023
@sksat sksat merged commit 4f5cbcf into develop Oct 10, 2023
33 checks passed
@sksat sksat deleted the feature/remove-unneeded-directory branch October 10, 2023 16:08
@meltingrabbit meltingrabbit mentioned this pull request Nov 1, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@meltingrabbit meltingrabbit meltingrabbit approved these changes

Assignees

@sksat sksat

Labels
invalid This doesn't seem right priority::medium priority medium
Projects
C2A public
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

BootLoader, ReProgramming ディレクトリを消す
2 participants
@sksat @meltingrabbit