diff options
Diffstat (limited to 'resources/quantifier/mon.png')
| -rw-r--r-- | resources/quantifier/mon.png | bin | 0 -> 755 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/resources/quantifier/mon.png b/resources/quantifier/mon.png Binary files differnew file mode 100644 index 0000000..c86e423 --- /dev/null +++ b/resources/quantifier/mon.png |