Merge pull request #377 from msquirogac/fix-375
authorMichel Pollet <github.com@pollet.net>
Thu, 28 May 2020 09:18:11 +0000 (10:18 +0100)
committerGitHub <noreply@github.com>
Thu, 28 May 2020 09:18:11 +0000 (10:18 +0100)
Update of the display_usage function.


Trivial merge