megamanmalte/VierGewinnt
1
0
Fork 0
Code Issues 1 Pull requests 3 Packages Projects Releases Wiki Activity

Changed AI names #20

Merged
mt85zybu merged 0 commits from rename-ai into master 2017-10-16 10:46:33 +02:00
Conversation 2 Commits - Files changed -
mt85zybu commented 2017-10-16 10:46:05 +02:00 (Migrated from git.informatik.uni-leipzig.de)
Copy link
No description provided.
mt85zybu commented 2017-10-16 10:46:33 +02:00 (Migrated from git.informatik.uni-leipzig.de)
Copy link

mentioned in commit e09cffbabe

mentioned in commit e09cffbabec5b014f1f6a7f436820105f89e6bfd
mt85zybu commented 2017-10-16 10:46:33 +02:00 (Migrated from git.informatik.uni-leipzig.de)
Copy link

merged

merged
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
bug

   
duplicate

   
enhancement

   
good first issue

   
help wanted

   
invalid

   
question

   
wontfix
No labels
bug
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
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#20
No description provided.
Delete branch "rename-ai"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?