search

Grubuntu / PieMenu

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

small corrections #13

Closed pgilfernandez closed 7 months ago

pgilfernandez commented 7 months ago

I think this is the right way to PR it, hehehe.