Skip to content

Remove Tools/Braccio_LearnByDoing. #85

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Aug 23, 2022
Merged

Remove Tools/Braccio_LearnByDoing. #85

merged 1 commit into from
Aug 23, 2022

Conversation

aentinger
Copy link
Contributor

It is an outdated version of Braccio_Record_and_Replay.

It is an outdated version of Braccio_Record_and_Replay.
@aentinger aentinger added type: enhancement Proposed improvement topic: code Related to content of the project itself labels Aug 23, 2022
@aentinger aentinger self-assigned this Aug 23, 2022
@aentinger aentinger merged commit 6388c9a into main Aug 23, 2022
@aentinger aentinger deleted the cleanup branch August 23, 2022 07:43
@per1234 per1234 added topic: documentation Related to documentation for the project and removed topic: code Related to content of the project itself labels Aug 23, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: documentation Related to documentation for the project type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants