2 Commits (6416bc193843702fc9d77be24e7b5b86c2b5e68c)

Author	SHA1	Message	Date
Thog	886e42fb19	Use the official JSON parser (#1151) ... This remove Utf8son and JsonPrettyPrinter dependencies. NOTE: the standard JSON parser doesn't support configurable indentation, as a result, all the pretty printed JSON are indented with 2 spaces.	2020-04-30 14:07:41 +02:00
emmauss	f2b9a9c2b0	Render Profiler in GUI (#854) ... * move profiler output to gui * addressed commits, rebased * removed whitespaces	2020-02-06 11:25:47 +00:00