search

RedHatter / diodon-plugins

A set of plugins for the gnome clipboard manager Diodon.
19 stars 10 forks source link

update edit.vala, typo on destroy #7

Closed bamb0u closed 6 years ago

bamb0u commented 6 years ago

just a typo.