[benl23x5/gloss] 65af1e: gloss-raster: Update window size in playField

0 views
Skip to first unread message

Ben Lippmeier

unread,
Aug 19, 2018, 10:32:38 PM8/19/18
to haskel...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/benl23x5/gloss
Commit: 65af1e9a6b40236b7f520a2126c0dd4aeb219a3e
https://github.com/benl23x5/gloss/commit/65af1e9a6b40236b7f520a2126c0dd4aeb219a3e
Author: Basile Henry <bjm....@gmail.com>
Date: 2018-04-28 (Sat, 28 Apr 2018)

Changed paths:
M gloss-raster/Graphics/Gloss/Raster/Field.hs

Log Message:
-----------
gloss-raster: Update window size in playField


Commit: d358823cdfb93939a3991cecc8b8a659acca2656
https://github.com/benl23x5/gloss/commit/d358823cdfb93939a3991cecc8b8a659acca2656
Author: Ben Lippmeier <be...@ouroborus.net>
Date: 2018-08-20 (Mon, 20 Aug 2018)

Changed paths:
M gloss-raster/Graphics/Gloss/Raster/Field.hs

Log Message:
-----------
Merge pull request #42 from basile-henry/gloss-raster-resize

gloss-raster: Update window size in playField


Compare: https://github.com/benl23x5/gloss/compare/cd00a62f2089...d358823cdfb9
**NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

Functionality will be removed from GitHub.com on January 31st, 2019.
Reply all
Reply to author
Forward
0 new messages