commit | 8c8fdc9648654fe306f76a7400d5a1cc29402bbd | [log] [tgz] |
---|---|---|
author | Andrea Cosentino <ancosen@gmail.com> | Thu Apr 30 11:09:51 2020 +0200 |
committer | Andrea Cosentino <ancosen@gmail.com> | Thu Apr 30 11:11:13 2020 +0200 |
tree | 453557426a19cbda4e4015b80dddbcc75268aa16 | |
parent | b073dc727f2d53588dec3d3a60dc88620eb8aafc [diff] |
Introduce the shortName method for option name