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

Saddle-points: fix formatting of instructions #1716

Merged
merged 1 commit into from
Aug 24, 2023

Conversation

JDeeth
Copy link
Contributor

@JDeeth JDeeth commented Aug 24, 2023

First line of demo grid is interpreted as a code block and the rest as paragraph text. Wrapping the whole thing in code tags forces it to be shown in fixed-width text instead.

Fix formatting of demo grid
@github-actions
Copy link
Contributor

Hello. Thanks for opening a PR on Exercism. We are currently in a phase of our journey where we have paused community contributions to allow us to take a breather and redesign our community model. You can learn more in this blog post. As such, all issues and PRs in this repository are being automatically closed.

That doesn't mean we're not interested in your ideas, or that if you're stuck on something we don't want to help. The best place to discuss things is with our community on the Exercism Community Forum. You can use this link to copy this into a new topic there.


Note: If this PR has been pre-approved, please link back to this PR on the forum thread and a maintainer or staff member will reopen it.

@github-actions github-actions bot closed this Aug 24, 2023
@senekor senekor reopened this Aug 24, 2023
Copy link
Contributor

@senekor senekor left a comment

Choose a reason for hiding this comment

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

I think this document originally comes from problem specs. Let's fix it now though instead of waiting until I or someone else finds the time to sync properly.

@senekor senekor merged commit 5dde23a into exercism:main Aug 24, 2023
14 checks passed
@senekor
Copy link
Contributor

senekor commented Aug 24, 2023

@JDeeth Thanks!

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