David 7af7dadd17 Add instructions for gnome desktop support using the .desktop file (#4165)		2022-10-10 12:23:36 -05:00
..
src	Add instructions for gnome desktop support using the .desktop file (#4165)	2022-10-10 12:23:36 -05:00
theme	fix typos (#2304)	2022-04-27 14:21:20 -05:00
.gitignore	Add book/ (mdbook based user guide)	2021-04-05 15:48:08 +09:00
book.toml	Improve docs, fix up a few highlight scopes	2021-09-07 13:03:48 +09:00