{"pages":[{"page_name":"User-Interface-Guidelines-for-Developers","title":"User Interface Guidelines for Developers","summary":null,"action":"edited","sha":"afcddc9693a81d38e6d7f48d4164043e126a6ee6","html_url":"https://github.com/stan-dev/stan/wiki/User-Interface-Guidelines-for-Developers"}]}