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

Import Codeforces Polygon full package #236

Merged
merged 14 commits into from
Jan 30, 2022
Merged

Import Codeforces Polygon full package #236

merged 14 commits into from
Jan 30, 2022

Conversation

hieplpvip
Copy link
Contributor

Description

Type of change: new feature

What

Add command for importing Codeforces Polygon full package

Why

Requested by users

How Has This Been Tested?

Tested with all problems of Bedao Hello 2022 contest. Everything works without further manual modification after importing.

Notes

pandoc is used to convert LaTeX to Github Flavored Markdown with a custom lua filter to handle the difference in our Markdown. While the filter works perfectly for now, there may be more unknown LaTeX commands that need special handling and should be fixed later, if found.

Checklist

  • I have explained the purpose of this PR.
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas

By submitting this pull request, I confirm that my contribution is made under the terms of the AGPL-3.0 License.

@hieplpvip hieplpvip changed the title Import polygon Import Codeforces Polygon full package Jan 29, 2022
Copy link
Contributor

@leduythuccs leduythuccs left a comment

Choose a reason for hiding this comment

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

small changes required

Copy link
Contributor

@leduythuccs leduythuccs left a comment

Choose a reason for hiding this comment

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

LGTM

@leduythuccs leduythuccs merged commit c885b40 into master Jan 30, 2022
@leduythuccs leduythuccs deleted the import-polygon branch January 30, 2022 10:03
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