]> git.jsancho.org Git - lugaru.git/commitdiff
Output version info to stdout and show in menu
authorRémi Verschelde <rverschelde@gmail.com>
Tue, 24 Jan 2017 18:47:12 +0000 (19:47 +0100)
committerRémi Verschelde <rverschelde@gmail.com>
Tue, 24 Jan 2017 18:47:12 +0000 (19:47 +0100)
Fixes #82.


No differences found