--- a/dab/gamescreen.h	2004-01-02 23:34:51.000000000 +0530
+++ b/dab/gamescreen.h	2008-07-31 23:45:19.000000000 +0530
@@ -70,9 +70,9 @@
     virtual void redraw(void) = 0;			// Refresh
     virtual int getinput(void) = 0;			// Get user input
     virtual void bell(void) = 0;			// Beep
-    virtual void score(size_t p, const PLAYER& p) = 0;	// Post current score
-    virtual void games(size_t p, const PLAYER& p) = 0;	// Post games won
-    virtual void total(size_t p, const PLAYER& p) = 0;	// Post total score
+    virtual void score(size_t, const PLAYER&) = 0;	// Post current score
+    virtual void games(size_t, const PLAYER&) = 0;	// Post games won
+    virtual void total(size_t, const PLAYER&) = 0;	// Post total score
     virtual void ties(const PLAYER& p) = 0;		// Post tie games
 };
ipts'>koszko-scripts</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=6f160c5c3809c9fd7af7da3f215ca0222e24ccce'>refs</a><a class='active' href='/guix/log/etc/substitutes'>log</a><a href='/guix/tree/etc/substitutes?id=6f160c5c3809c9fd7af7da3f215ca0222e24ccce'>tree</a><a href='/guix/commit/etc/substitutes?id=6f160c5c3809c9fd7af7da3f215ca0222e24ccce'>commit</a><a href='/guix/diff/etc/substitutes?id=6f160c5c3809c9fd7af7da3f215ca0222e24ccce'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/etc/substitutes'>
<input type='hidden' name='id' value='6f160c5c3809c9fd7af7da3f215ca0222e24ccce'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=6f160c5c3809c9fd7af7da3f215ca0222e24ccce'>root</a>/<a href='/guix/log/etc?id=6f160c5c3809c9fd7af7da3f215ca0222e24ccce'>etc</a>/<a href='/guix/log/etc/substitutes?id=6f160c5c3809c9fd7af7da3f215ca0222e24ccce'>substitutes</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/etc/substitutes?id=6f160c5c3809c9fd7af7da3f215ca0222e24ccce&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2019-06-29 14:27:22 +0200'>2019-06-29</span></td><td><a href='/guix/commit/etc/substitutes?id=3a8bfebed94ba295432da8304b7ffb4a611ef761'>etc: Remove hydra.gnu.org.pub key.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/substitutes/hydra.gnu.org.pub: Delete file.
* guix/self.scm (miscellaneous-files): Don't install it.
* Makefile.am (dist_pkgdata_DATA): Remove it.
* gnu/services/base.scm (%default-authorized-guix-keys): Likewise.
(hydra-key-authorization): Rename to…
(substitute-key-authorization): …this.  Adjust only call site.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2019-05-01 11:05:47 +0200'>2019-05-01</span></td><td><a href='/guix/commit/etc/substitutes?id=757e633d57a7b994759d69e41dd759a39f1a34ae'>build: Change default substitute server to "ci.guix.gnu.org".</a><span class='msg-avail'>...<span class='msg-tooltip'>* config-daemon.ac: Replace "ci.guix.info" with "ci.guix.gnu.org".
* doc/guix.texi (SUBSTITUTE-SERVER): Likewise.
* etc/substitutes/ci.guix.gnu.org.pub: New file.
* Makefile.am (dist_pkgdata_DATA): Add it.
* guix/scripts/build.scm (%default-log-urls): Update.
* guix/scripts/substitute.scm (%default-substitute-urls): Likewise.
* guix/store.scm (%default-substitute-urls): Likewise.
* guix/self.scm (miscellaneous-files): Add "ci.guix.gnu.org".
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-12-04 10:57:56 +0100'>2018-12-04</span></td><td><a href='/guix/commit/etc/substitutes?id=6a837b6062ab405f6ca6d9c0163836769098d89b'>etc: Add "ci.guix.info.pub" public key file.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/substitutes/ci.guix.info.pub: New file.
* Makefile.am (dist_pkgdata_DATA): Add it.
* guix/self.scm (miscellaneous-files): Add
"share/guix/ci.guix.info.pub".
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-11-06 00:04:11 +0100'>2018-11-06</span></td><td><a href='/guix/commit/etc/substitutes?id=aa919fbc890c5438166083f9ff02e4b1968a182b'>maint: Move substitute public keys to etc/substitutes.</a><span class='msg-avail'>...<span class='msg-tooltip'>* berlin.guixsd.org.pub, hydra.gnu.org.pub: Move to...
* etc/substitutes: ... here.  New directory.
* Makefile.am (dist_pkgdata_DATA): Adjust accordingly.
</span></span></td><td>Ludovic Courtès</td></tr>