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.

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

make init は不要になっているので削除する #197

Merged
merged 1 commit into from
Dec 25, 2024

Conversation

zztkm
Copy link
Contributor

@zztkm zztkm commented Dec 24, 2024

doc/DEV.md の初回説明から、make init を削除しました。
過去の Makefile では必要でしたが、現在は make init は不要であるためです。


This pull request includes a small change to the doc/DEV.md file. The change removes the make init command from the documentation.

  • doc/DEV.md: Removed the make init command from the documentation.

@zztkm zztkm requested review from torikizi and miosakuma December 24, 2024 06:16
Copy link
Contributor

@torikizi torikizi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM です。ありがとうございます。

Copy link
Contributor

@miosakuma miosakuma left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ありがとうございます。

@zztkm zztkm merged commit 6b35538 into develop Dec 25, 2024
1 check passed
@zztkm zztkm deleted the feature/doc-remove-makeinit branch December 25, 2024 07:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants