comparison COPYING @ 201:45a3392b9d26

plugin file sharing: use density independant pixels for Menu
author Goffi <goffi@goffi.org>
date Fri, 25 May 2018 11:52:56 +0200
parents 160cc95ad7ea
children
comparison
equal deleted inserted replaced
200:38da086d162b 201:45a3392b9d26