dot/xinitrc: Set `XSCR0_HEIGHT' correctly if `xscsize' is too old.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 23 Apr 2016 13:53:06 +0000 (14:53 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 23 Apr 2016 13:53:06 +0000 (14:53 +0100)
commitfc504d2980554be25eafff1534f9e7daafafe0dd
tree0b8fa829cc4eacb71954c5fa822071d9cdf85890
parent30ab13b5d8bde81bd57d3bfd8c350666bb6e6e2e
dot/xinitrc: Set `XSCR0_HEIGHT' correctly if `xscsize' is too old.
dot/xinitrc