Reduce default margin
authorBehdad Esfahbod <behdad@behdad.org>
Sun, 13 May 2012 10:51:02 +0000 (12:51 +0200)
committerBehdad Esfahbod <behdad@behdad.org>
Sun, 13 May 2012 10:51:02 +0000 (12:51 +0200)
commit912c5ff80a255edb8145b9db69e2ed828f8eab5c
tree6568358627a0c19e61bbf9295306390178bd055e
parent52e7b1424a3613122e9ca30879298df42733acda
Reduce default margin
util/options.hh