main: Add short name for version option

mate-desktop / marco

MATE default window manager

https://mate-desktop.org

GNU General Public License v2.0

193 stars 86 forks source link

Closed rbuj closed 2 years ago

rbuj commented 2 years ago

test:

$ marco -v
marco 1.26.0

raveit65 commented 2 years ago

@rbuj Can you please push PR to get a deployment?

rbuj commented 2 years ago

done