Rescaling.
Isabelle_DOF/Isabelle_DOF/master This commit looks good Details

This commit is contained in:
Achim D. Brucker 2019-08-05 21:42:56 +01:00
parent b063c06023
commit f59bd7608a
1 changed files with 0 additions and 0 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 1.4 MiB

After

Width:  |  Height:  |  Size: 407 KiB