From 4f6a629ba0791b749f3eefebed481749ad2fa4e1 Mon Sep 17 00:00:00 2001 From: Daniel Smith Date: Sat, 18 May 2019 18:34:18 -0400 Subject: Resize text images for preferred on-screen size --- resources/quantifier/sat.png | Bin 4152 -> 3726 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'resources/quantifier/sat.png') diff --git a/resources/quantifier/sat.png b/resources/quantifier/sat.png index 870d692..568bd84 100644 Binary files a/resources/quantifier/sat.png and b/resources/quantifier/sat.png differ -- cgit v1.2.3