Francois Chabot 9dc7b666e7 ignore the last character of a character array if it is the null character		2019-01-22 14:28:46 -05:00
..
json.hpp	ignore the last character of a character array if it is the null character	2019-01-22 14:28:46 -05:00