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

Fix formatting issue for UserGuide #93

Merged
merged 1 commit into from
Oct 12, 2023

Conversation

rocketninja7
Copy link

No description provided.

@xCOLOURx
Copy link

LGTM

@xCOLOURx xCOLOURx merged commit 45b6dc4 into AY2324S1-CS2103T-T13-0:master Oct 12, 2023
0 of 3 checks passed
@xCOLOURx xCOLOURx added this to the v1.2 milestone Oct 12, 2023
@rocketninja7 rocketninja7 changed the title Fix formatting issue Fix formatting issue for UserGuide Oct 12, 2023
@rocketninja7 rocketninja7 deleted the github-pages branch October 26, 2023 12:59
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.

2 participants