log screenshots/0.7/language_filtering.gif @ 176:e7df6534e387 default tip

age author description
Thu, 05 Jul 2018 14:24:20 +0200 Goffi screenshort (0.7): added file language filtering animation