Skip to content

Replaced ODS with TODS#34

Merged
fredericsimard merged 1 commit intomainfrom
fix-rename-ODS-to-TODS-2025-09-05
Sep 5, 2025
Merged

Replaced ODS with TODS#34
fredericsimard merged 1 commit intomainfrom
fix-rename-ODS-to-TODS-2025-09-05

Conversation

@fredericsimard
Copy link
Contributor

as per Elias' request.

@fredericsimard fredericsimard self-assigned this Sep 5, 2025
@fredericsimard fredericsimard merged commit 0af9e39 into main Sep 5, 2025
1 check failed
@fredericsimard fredericsimard deleted the fix-rename-ODS-to-TODS-2025-09-05 branch September 5, 2025 14:41
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