{"pages":[{"page_name":"DeveloperManualIndex","title":"DeveloperManualIndex","summary":null,"action":"edited","sha":"b164a1a77f972c1cf288095597c3af6ab09aa02f","html_url":"https://github.com/franck-talbart/codelet_tuning_infrastructure/wiki/DeveloperManualIndex"}]}