Skip to content

Name and type is duplicated from FlatlandPlugin#56

Merged
josephduchesne merged 1 commit into
avidbots:masterfrom
Vuwij:patch-1
Oct 18, 2018
Merged

Name and type is duplicated from FlatlandPlugin#56
josephduchesne merged 1 commit into
avidbots:masterfrom
Vuwij:patch-1

Conversation

@Vuwij

@Vuwij Vuwij commented Oct 18, 2018

Copy link
Copy Markdown
Contributor

FlatlandPlugin also has these fields, needs them to be removed

FlatlandPlugin also has these fields, needs them to be removed
@josephduchesne josephduchesne merged commit 11de0f8 into avidbots:master Oct 18, 2018
@josephduchesne

Copy link
Copy Markdown
Collaborator

Thanks!

JoaoCostaIFG pushed a commit to JoaoCostaIFG/flatland that referenced this pull request Nov 30, 2022
Name and type is duplicated from FlatlandPlugin
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