Changing license to GPL3 (and bumping version to 1.4.0).
[gnushogi.git] / misc / gnushogi.pat
misc/gnushogi.pat