Labels Milestones

移除标准库 #1

Closed

yanguangshaonian wants to merge 81 commits from main into ch1

pull from: main

merge into: yanguangshaonian:ch1

yanguangshaonian:ch5

yanguangshaonian:ch4

yanguangshaonian:ch3

yanguangshaonian:ch3-coop

yanguangshaonian:ch2

yanguangshaonian:ch1

Conversation 0 Commits 81 Files Changed 155

yanguangshaonian commented 2 years ago

Owner

There is no content yet.

yanguangshaonian closed this pull request 2 years ago

Please reopen this pull request to perform a merge.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b main ch1

git pull origin main

Step 2:

Merge the changes and update on Gitea.

git checkout ch1

git merge --no-ff main

git push origin ch1

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

No items

No Label

Milestone

Set milestone

Clear milestone

No items

No Milestone

Projects

Set Project

Clear projects

No project

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: yanguangshaonian/rCore_stu#1

Write Preview

Loading…

Cancel

Save

There is no content yet.