Skip to content
This repository has been archived by the owner on Feb 7, 2024. It is now read-only.

Piet #1

Merged
merged 3 commits into from
Apr 1, 2022
Merged

Piet #1

merged 3 commits into from
Apr 1, 2022

Conversation

theking2
Copy link
Owner

@theking2 theking2 commented Apr 1, 2022

Moved from base class to trait, which seems neater in the light of the class generator

@theking2 theking2 merged commit ca15a63 into main Apr 1, 2022
@theking2 theking2 deleted the piet branch April 2, 2022 08:23
@kingma-sbw kingma-sbw mentioned this pull request Apr 8, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants