Merge pull request #690 from gabrielstedman/dev
authorYann Collet <Cyan4973@users.noreply.github.com>
Mon, 22 Apr 2019 19:19:28 +0000 (12:19 -0700)
committerGitHub <noreply@github.com>
Mon, 22 Apr 2019 19:19:28 +0000 (12:19 -0700)
Implement --list


Trivial merge