Skip to content

I16077 xdoc moving#16078

Merged
romani merged 2 commits into
masterfrom
i16077-xdoc-moving
Jan 2, 2025
Merged

I16077 xdoc moving#16078
romani merged 2 commits into
masterfrom
i16077-xdoc-moving

Conversation

@romani

@romani romani commented Dec 28, 2024

Copy link
Copy Markdown
Member

part of #16077

split from #15799

just moving xdoc files to new location.

@romani romani force-pushed the i16077-xdoc-moving branch from b1f22a7 to 5dd769e Compare January 2, 2025 22:08
romani added 2 commits January 2, 2025 14:19
… property (first step, just moving folder)
… property (final step, update of whole codebase)
@romani romani force-pushed the i16077-xdoc-moving branch from 5dd769e to 803729e Compare January 2, 2025 22:20
@romani

romani commented Jan 2, 2025

Copy link
Copy Markdown
Member Author

GitHub, generate website

@github-actions

github-actions Bot commented Jan 2, 2025

Copy link
Copy Markdown
Contributor

@romani

romani commented Jan 2, 2025

Copy link
Copy Markdown
Member Author

@Zopsss , fyi, migration of xdoc to new location is done.

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