aboutsummaryrefslogtreecommitdiffstats
path: root/resources/libraries/python/OptionString.py
AgeCommit message (Expand)AuthorFilesLines
2019-12-05Deal with some "pylint: disable=" commentsVratko Polak1-10/+11
2019-11-28Python3: resources and librariesJan Gelety1-21/+20
2019-07-17Use PapiSocketProvider for most PAPI callsVratko Polak1-8/+9
2019-04-18OptionString: Do not convert None to non-empty stringVratko Polak1-2/+3
2019-04-17Introduce OptionString for handling command lineVratko Polak1-0/+362