diff scripts/list_plugins/list_plugins.py @ 131:8b4c3ff88985

screenshort (0.7): added file language filtering animation
author Goffi <goffi@goffi.org>
date Thu, 05 Jul 2018 14:24:20 +0200
parents cea50c3e94f0
children
line wrap: on
line diff