diff options
author | Daniel Smith <rdnlsmith@gmail.com> | 2019-05-18 18:34:18 -0400 |
---|---|---|
committer | Daniel Smith <rdnlsmith@gmail.com> | 2019-05-18 18:34:18 -0400 |
commit | 4f6a629ba0791b749f3eefebed481749ad2fa4e1 (patch) | |
tree | 50cc2ef20e352842f0f6a1ee3253ee92c4860e47 /resources/quantifier/mon.png | |
parent | 9e18f5ee951a3278baaffe602bc2c118e7d3d01d (diff) |
Resize text images for preferred on-screen size
Diffstat (limited to 'resources/quantifier/mon.png')
-rw-r--r-- | resources/quantifier/mon.png | bin | 755 -> 3395 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/resources/quantifier/mon.png b/resources/quantifier/mon.png Binary files differindex c86e423..35efabc 100644 --- a/resources/quantifier/mon.png +++ b/resources/quantifier/mon.png |