ref: 4da39de2829b9021e8a14f9309892b02580f3682
parent: 0a798c7484786abcd4b187f94b3734823ca1204e
author: Simon Tatham <anakin@pobox.com>
date: Sun Jul 24 06:05:11 EDT 2005
(GTK only so far) Allow the argument passed to a game binary to be either a game ID or a save file name. (The former takes priority, because you can usually find a synonym for the latter, such as by prepending `./' or `$PWD/'.) [originally from svn r6135]