Skip to content
This repository has been archived by the owner on Mar 29, 2023. It is now read-only.

Change subsidiary filenames and fix headings in TOC #4

Merged
merged 13 commits into from Jun 29, 2021
Merged

Conversation

yash-yp
Copy link
Member

@yash-yp yash-yp commented Jun 29, 2021

No description provided.

yash-yp and others added 13 commits June 18, 2021 13:53
Signed-off-by: Yash Prakash <yash2002109@gmail.com>
Signed-off-by: Yash Prakash <yash2002109@gmail.com>
Add automation system (English) for further development & review
Signed-off-by: ritik-malik <ritik18406@iiitd.ac.in>
Signed-off-by: ritik-malik <ritik18406@iiitd.ac.in>
Signed-off-by: ritik-malik <ritik18406@iiitd.ac.in>
Signed-off-by: ritik-malik <ritik18406@iiitd.ac.in>
Signed-off-by: Yash Prakash <yash2002109@gmail.com>
Signed-off-by: Yash Prakash <yash2002109@gmail.com>
Signed-off-by: Yash Prakash <yash2002109@gmail.com>
Signed-off-by: Yash Prakash <yash2002109@gmail.com>
Signed-off-by: ritik-malik <ritik18406@iiitd.ac.in>
Copy link
Member

@ritik-malik ritik-malik left a comment

Choose a reason for hiding this comment

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

LGTM, merging

@ritik-malik ritik-malik merged commit 72dbd11 into main Jun 29, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants