search

Grubuntu / PieMenu

Fork of PieMenu, with some improvements
8 stars 4 forks source link

Small corrections #12

Closed pgilfernandez closed 7 months ago

pgilfernandez commented 7 months ago

Sorry, wrong PR... I wanted to push it to the stylesheets-dev branch but I messed it up...