tree 453557426a19cbda4e4015b80dddbcc75268aa16
parent b073dc727f2d53588dec3d3a60dc88620eb8aafc
author Andrea Cosentino <ancosen@gmail.com> 1588237791 +0200
committer Andrea Cosentino <ancosen@gmail.com> 1588237873 +0200

Introduce the shortName method for option name