Skip to content

XML library replaced with PugiXML in Graph Editor#1032

Merged
eprikazchikov merged 3 commits intomasterfrom
xml_graph
Jul 18, 2025
Merged

XML library replaced with PugiXML in Graph Editor#1032
eprikazchikov merged 3 commits intomasterfrom
xml_graph

Conversation

@eprikazchikov
Copy link
Copy Markdown
Collaborator

No description provided.

@eprikazchikov eprikazchikov merged commit fcba424 into master Jul 18, 2025
23 checks passed
@eprikazchikov eprikazchikov deleted the xml_graph branch July 18, 2025 16:11
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.

1 participant