# HG changeset patch # User Matti Hamalainen # Date 1322161813 -7200 # Node ID 792bf87886e7a38eb50a640680eab33d0e5fb1d5 # Parent a0376e40102e9928bbd887e925411b9a3a4b6891 Bump version. diff -r a0376e40102e -r 792bf87886e7 game/G.java --- a/game/G.java Thu Nov 24 21:09:57 2011 +0200 +++ b/game/G.java Thu Nov 24 21:10:13 2011 +0200 @@ -15,7 +15,7 @@ public class G { - public static final String version = "0.75"; + public static final String version = "0.80"; public static final int numFonts = 4; public static Font fonts[];