diff options
Diffstat (limited to 'resources/quantifier/tue.png')
-rw-r--r-- | resources/quantifier/tue.png | bin | 3665 -> 2854 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/resources/quantifier/tue.png b/resources/quantifier/tue.png Binary files differindex f527d0f..bde6f7c 100644 --- a/resources/quantifier/tue.png +++ b/resources/quantifier/tue.png |