diff options
author | groud <gilles.roudiere@gmail.com> | 2018-10-02 14:51:24 +0200 |
---|---|---|
committer | groud <gilles.roudiere@gmail.com> | 2018-10-02 14:51:24 +0200 |
commit | 943feeee100b9fac0a46beb1a758e3d845717aa7 (patch) | |
tree | 462aff458b7e84573d798effd6018dd042cd9ce1 /.gitignore | |
parent | c51caa3dbdf4acaa7e063c46ae8026adb0633008 (diff) |
Avoid the window size to go below 0
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions