Brian Cain 96a19aa00c
Fix how options to cli args are handled
Since options could also be defined as strings, convert it all to string
and compare those instead
2019-03-21 11:15:41 -07:00
..
2017-08-27 23:56:47 -04:00
2015-04-28 15:35:39 -05:00
2018-09-19 10:52:59 -07:00
2017-06-21 10:23:34 -04:00