--- 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 }; ue='koszko-scripts'>koszko-scripts Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/noweb.scm
AgeCommit message (Expand)Author
2020-01-19gnu: noweb: Declare a source file-name....* gnu/packages/noweb.scm (noweb)[source]: Add file-name field. Efraim Flashner
2020-01-16gnu: noweb: Update to 2.12....* gnu/packages/noweb.scm (noweb): Update to 2.12. [source]: Switch to git repository. [arguments]: Remove obsolete substitution. [license]: Add BSD-2. Tobias Geerinckx-Rice
2020-01-16gnu: noweb: Embed store references to external binaries....* gnu/packages/noweb.scm (noweb)[argument]: Add ‘bind-early’ phase. [inputs]: Add perl. Tobias Geerinckx-Rice
2020-01-16gnu: noweb: Use HTTPS home page....* gnu/packages/noweb.scm (noweb)[home-page, license]: Use HTTPS. Tobias Geerinckx-Rice