search

Schneegans / Gnome-Pie

A pie menu launcher for linux. Read the release announcement of version 0.7.2 at https://schneegans.github.io/news/2018/10/30/gnome-pie-072 Or have a look at the homepage!
http://schneegans.github.io/gnome-pie.html
MIT License
309 stars 54 forks source link

Fix build with vala 0.42 #163

Closed ricotz closed 5 years ago

Schneegans commented 5 years ago

Thank you!