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

docs: add more .IP after .RE to fix indentation of generate paragraphs #11375

Closed
wants to merge 1 commit into from

Conversation

emanuele6
Copy link
Contributor

follow-up from 099f41e

I just thought of checking all the other files with .RE, and I found 6 other files that were missing .IP at the end.

follow-up from 099f41e

I just thought of checking all the other files with .RE, and I found 6
other files that were missing .IP at the end.
@bagder
Copy link
Member

bagder commented Jun 22, 2023

Thanks!

@bagder bagder closed this in 55dfb9e Jun 22, 2023
@emanuele6 emanuele6 deleted the moreip branch June 22, 2023 16:11
bch pushed a commit to bch/curl that referenced this pull request Jul 19, 2023
follow-up from 099f41e

I just thought of checking all the other files with .RE, and I found 6
other files that were missing .IP at the end.

Closes curl#11375
ptitSeb pushed a commit to wasix-org/curl that referenced this pull request Sep 25, 2023
follow-up from 099f41e

I just thought of checking all the other files with .RE, and I found 6
other files that were missing .IP at the end.

Closes curl#11375
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

None yet

2 participants