David Capello 9f76136876 Use std::string instead of char* in several places
This is useful to avoid creation of std::strings from const char* several times when it's not really needed.
2017-03-15 23:59:19 -03:00
..
2017-03-14 19:03:10 -03:00
2016-10-27 13:00:57 -03:00
2016-08-31 19:53:52 -03:00
2016-10-27 13:00:57 -03:00
2016-10-27 13:00:57 -03:00
2016-10-27 13:00:57 -03:00