2 Commits (b663cd22c87f13f40e1753bf22bef12d08bf6f3e)

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