Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

removing "fixed grid" #109

Closed
wants to merge 1 commit into from

Conversation

alexminnaar
Copy link
Contributor

I think at this point coin_game, laser_tag, and markov_soccer all have grid/grid-size game parameters so we can remove this part.

I think at this point coin_game, laser_tag, and markov_soccer all have grid/grid-size game parameters so we can remove this part.
@jblespiau
Copy link
Collaborator

Thanks. I copied the change and it will be in, in the next release. Closing now as the tool will not close this one automatically (as I copy-pasted it and did not applied the PR directly).

@jblespiau jblespiau closed this Nov 12, 2019
@lanctot
Copy link
Collaborator

lanctot commented Nov 12, 2019

Hey @jblespiau: re-opening until we update (btw it does autoclose-- tgst is what I have been doing... I think it uses the commit number(s)).

I plan to do an update tonight or tomorrow.

@lanctot
Copy link
Collaborator

lanctot commented Nov 12, 2019

Nevermind, I am wrong because JB didn't import it the same way we import the rest. So I'm closing this one manually.

@lanctot lanctot closed this Nov 12, 2019
OpenSpiel pushed a commit that referenced this pull request Nov 12, 2019
PiperOrigin-RevId: 279960897
Change-Id: Idec5b260b91dd1f63ba2d18857f4caf2db83255e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants