{"pages":[{"page_name":"Create-a-new-Framesoc-tool","title":"Create a new Framesoc tool","summary":null,"action":"edited","sha":"8340ba45edbd57defa67501ef03cacb366eb38c6","html_url":"https://github.com/soctrace-inria/framesoc.tutorials/wiki/Create-a-new-Framesoc-tool"}]}