Skip to content

Last-minute Refactoring :D#9

Merged
thoklei merged 7 commits intomainfrom
exp/refactor
Nov 10, 2020
Merged

Last-minute Refactoring :D#9
thoklei merged 7 commits intomainfrom
exp/refactor

Conversation

@thoklei
Copy link
Copy Markdown
Collaborator

@thoklei thoklei commented Nov 10, 2020

Hatte gestern keinen PR gemacht, nur gepushed

@thoklei thoklei added this to the First Deadline milestone Nov 10, 2020
Copy link
Copy Markdown
Owner

@mhuendorf mhuendorf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Definitely a simpler structure now. Good job. As we already discussed we should later try to separate the Instance from the Solution.

@thoklei thoklei merged commit 307e23f into main Nov 10, 2020
@thoklei thoklei deleted the exp/refactor branch November 25, 2020 18:10
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