{"pages":[{"page_name":"Changing-terminal-emulator","title":"Changing terminal emulator","summary":null,"action":"edited","sha":"6e80155eeb5a06dd0075b1e0728232da32037aab","html_url":"https://github.com/s-macke/jor1k/wiki/Changing-terminal-emulator"}]}