Fixed naming issue, build passing #26

Merged
mt85zybu merged 0 commits from fix-naming into master 2017-10-18 13:14:44 +02:00
mt85zybu commented 2017-10-18 13:07:09 +02:00 (Migrated from git.informatik.uni-leipzig.de)

Fixing open issue after !10

Fixing open issue after !10
mt85zybu commented 2017-10-18 13:14:44 +02:00 (Migrated from git.informatik.uni-leipzig.de)

mentioned in commit 9e968e4050

mentioned in commit 9e968e4050c01687e54292c8d1bcd30c46938e4e
mt85zybu commented 2017-10-18 13:14:44 +02:00 (Migrated from git.informatik.uni-leipzig.de)

merged

merged
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: megamanmalte/VierGewinnt#26
No description provided.