Fix: indent. #5

Merged
alberto merged 1 commits from dev into main 1 month ago
Collaborator
There is no content yet.
alberto merged commit 1b21f75d3f into main 1 month ago
The pull request has been merged as 1b21f75d3f.
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 dev main
git pull origin dev

Step 2:

Merge the changes and update on Gitea.
git checkout main
git merge --no-ff dev
git push origin main
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
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: phc/tutorato#5
Loading…
There is no content yet.