b68c768d
41744836
7916ac65
* commit 'b68c768ddb57407bc253230c677056329c9e4bae': Add new command line option to change global screen size.
d90a2c4d
1e662c32