Skip to content

#118 Change section heading character to hash#119

Merged
roskakori merged 1 commit intomasterfrom
118-change-section-header-character
Jun 27, 2023
Merged

#118 Change section heading character to hash#119
roskakori merged 1 commit intomasterfrom
118-change-section-header-character

Conversation

@roskakori
Copy link
Owner

@roskakori roskakori commented Jun 27, 2023

Close #118.

This works around the overly enthusiastic pre-commit check for merge conflicts as described in pre-commit/pre-commit-hooks#100.

This works around the overly enthusiastic pre-commit check for merhe conflicts as described in <pre-commit/pre-commit-hooks#100>.
@roskakori roskakori added this to the v1.6.1 milestone Jun 27, 2023
@roskakori roskakori self-assigned this Jun 27, 2023
@coveralls
Copy link

Coverage Status

coverage: 96.004%. remained the same when pulling fa325ff on 118-change-section-header-character into b76619d on master.

@roskakori roskakori merged commit 5b5d29b into master Jun 27, 2023
@roskakori roskakori deleted the 118-change-section-header-character branch June 27, 2023 11:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

Change section heading character

2 participants