Skip to content

Fixed typos#18

Merged
mdbergmann merged 2 commits into
mdbergmann:masterfrom
polluks:master
Feb 2, 2026
Merged

Fixed typos#18
mdbergmann merged 2 commits into
mdbergmann:masterfrom
polluks:master

Conversation

@polluks
Copy link
Copy Markdown
Contributor

@polluks polluks commented Jan 28, 2026

No description provided.

Comment thread docs/ace.guide
Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

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

ace.guide is generated from ace.txt, so you might wanna fix it there instead.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

I see.

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

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

Will you update the PR?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Hmm, #18 + #26 should be fine.

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

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

I don't see this fixed in ace.txt, it's only in ace.guide, which will be overridden.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Take a look, ace.txt is already fixed in #26.

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

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

Ah, it was in separate PR. Alright then.

Comment thread docs/ref.guide
Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

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

Also ref.guide is generated from ref.txt, but ok. Will be overridden though.

mdbergmann pushed a commit that referenced this pull request Jan 28, 2026
Corrected typos in the documentation regarding compilation and variable parameters.
@mdbergmann mdbergmann merged commit eca8d4c into mdbergmann:master Feb 2, 2026
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