Skip to content

Split developer documentation#522

Merged
chrisburr merged 1 commit intoDIRACGrid:mainfrom
chaen:split_dev_docs
May 7, 2025
Merged

Split developer documentation#522
chrisburr merged 1 commit intoDIRACGrid:mainfrom
chaen:split_dev_docs

Conversation

@chaen
Copy link
Contributor

@chaen chaen commented May 7, 2025

No description provided.

@chaen chaen force-pushed the split_dev_docs branch from b0dfc2e to 120b0ad Compare May 7, 2025 14:58
@chrisburr chrisburr merged commit b2643e4 into DIRACGrid:main May 7, 2025
26 checks passed
@chrisburr chrisburr deleted the split_dev_docs branch May 7, 2025 15:40
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.

2 participants