chiark / gitweb /
Introduce a mechanism by which calls to midend_supersede_game_desc()
authorSimon Tatham <anakin@pobox.com>
Sun, 31 Mar 2013 09:58:52 +0000 (09:58 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 31 Mar 2013 09:58:52 +0000 (09:58 +0000)
commitbb14689b4a555b4b176192d2c3cd02a4c354a37f
tree6377b0f21fc1c9ba18716f3e4bdb7c07500d018e
parentbf696f83fc8076e748c04a53f425aa29d78c020d
Introduce a mechanism by which calls to midend_supersede_game_desc()
can trigger a call to a front end notification function. Use this to
update the game ID permalink when Mines supersedes its game ID.

[originally from svn r9793]
devel.but
emcc.c
midend.c
puzzles.h