spin: re-scale icon to 13x13

mbeddr · Sep 9, 2018 · 6e95ad0 · 6e95ad0
1 parent 4fe9800
commit 6e95ad0
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...dr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/icons/verify.png b/...dr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/icons/verify.png