Skip to content

Conversation

@redcatbear
Copy link
Collaborator

Closes #431.

@redcatbear redcatbear self-assigned this Jan 6, 2025
@redcatbear redcatbear added the documentation User guides, turorials, specifications label Jan 6, 2025
@redcatbear
Copy link
Collaborator Author

@koppor, since #431 is from you, would you like to review this documentation change?

redcatbear and others added 4 commits January 6, 2025 20:24
…ser-documentation

# Conflicts:
#	doc/changes/changes_4.2.0.md
#	importer/markdown/src/main/java/org/itsallcode/openfasttrace/importer/markdown/MdPattern.java
#	importer/markdown/src/test/java/org/itsallcode/openfasttrace/importer/markdown/TestMarkdownMarkupImporter.java
…overage-to-user-documentation' into documentation/431_add-unwanted-coverage-to-user-documentation

# Conflicts:
#	doc/changes/changes_4.2.0.md
redcatbear and others added 2 commits January 19, 2025 18:49
Co-authored-by: Christoph Pirkl <4711730+kaklakariada@users.noreply.github.com>
@sonarqubecloud
Copy link

@redcatbear redcatbear enabled auto-merge (squash) January 19, 2025 18:12
@redcatbear redcatbear merged commit a0fe7c6 into main Jan 19, 2025
9 checks passed
@redcatbear redcatbear deleted the documentation/431_add-unwanted-coverage-to-user-documentation branch January 19, 2025 18:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation User guides, turorials, specifications

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add "unwanted coverage" to user documentation

3 participants