Filipa Lacerda ced1b0cbfc Renames the Terminal button and adds an icon ... Makes the terminal open in a new tab		2018-08-09 10:06:55 +01:00
..
unreleased	Renames the Terminal button and adds an icon	2018-08-09 10:06:55 +01:00
archive.md