Thomas Goyne 07da6f6f1b Split json::Number into json::Double and json::Integer ... Trying to decide whether an option should be an int or double after discarding the differences between "1.0" and "1" simply isn't possible, and even if an option was initialized correctly, if it was changed to a round number it could get written as an int and break later. Also convert cajun to tabs because three spaces to indent is terrible. Originally committed to SVN as r6018.		2011-12-22 21:12:25 +00:00
..
elements.cpp	Split json::Number into json::Double and json::Integer	2011-12-22 21:12:25 +00:00
reader.cpp	Split json::Number into json::Double and json::Integer	2011-12-22 21:12:25 +00:00
writer.cpp	Split json::Number into json::Double and json::Integer	2011-12-22 21:12:25 +00:00