remove IsPlayerShip from Ship #3904

Merged
merged 1 commit into from Jan 13, 2017

Projects

None yet

3 participants

@mike-f1
Contributor
mike-f1 commented Jan 11, 2017

As referred here:

#3900

I did the opposite

@fluffyfreak
Contributor

Approved!

@laarmen
Contributor
laarmen commented Jan 13, 2017
@fluffyfreak fluffyfreak merged commit e05d825 into pioneerspacesim:master Jan 13, 2017

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
@mike-f1 mike-f1 deleted the mike-f1:removeisplayership branch Jan 23, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment