Skip to content

[All] Backport some cleaning from the old gitlab repository: Remove some materials and wip scripts. Restore the ShowRoom application#93

Merged
epernod merged 3 commits intomainfrom
dev_cleaning_public
Jul 1, 2024
Merged

[All] Backport some cleaning from the old gitlab repository: Remove some materials and wip scripts. Restore the ShowRoom application#93
epernod merged 3 commits intomainfrom
dev_cleaning_public

Conversation

@epernod
Copy link
Copy Markdown
Contributor

@epernod epernod commented Jun 26, 2024

No description provided.

@epernod epernod added pr: clean pr: status ready Approved a pull-request, ready to be squashed labels Jun 26, 2024
@epernod epernod force-pushed the dev_cleaning_public branch from da541a6 to c96353a Compare June 26, 2024 09:08
@epernod epernod merged commit e78db06 into main Jul 1, 2024
@epernod epernod deleted the dev_cleaning_public branch July 1, 2024 13:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: clean pr: status ready Approved a pull-request, ready to be squashed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant