Skip to content

Make sure all diagrams have consistent and complete titles#67

Merged
SlavaVedernikov merged 2 commits intomasterfrom
make-sure-all-diagrams-have-consistent-and-complete-titles
Mar 19, 2024
Merged

Make sure all diagrams have consistent and complete titles#67
SlavaVedernikov merged 2 commits intomasterfrom
make-sure-all-diagrams-have-consistent-and-complete-titles

Conversation

@SlavaVedernikov
Copy link
Copy Markdown
Owner

No description provided.

@SlavaVedernikov SlavaVedernikov linked an issue Mar 19, 2024 that may be closed by this pull request
@SlavaVedernikov SlavaVedernikov merged commit b4bc834 into master Mar 19, 2024
@SlavaVedernikov SlavaVedernikov deleted the make-sure-all-diagrams-have-consistent-and-complete-titles branch March 19, 2024 13:17
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.

Make sure all diagrams have consistent and complete titles

1 participant