{"pages":[{"page_name":"Code-Style-Guidelines","title":"Code Style Guidelines","summary":null,"action":"edited","sha":"758f0be75b7adcf13627d7d044447e4157cee474","html_url":"https://github.com/CVC4/CVC4/wiki/Code-Style-Guidelines"}]}
{"actor":{"display_login":"aniemetz"}}