Martin Geisler 5d71f8a326 Open GitHub edit links in new tabs (#856) ... I find this nicer since you don't lose your location in the book then.		2023-06-22 09:50:20 -04:00
..
book.js	Add book.js generated with mdbook init --theme	2023-03-01 13:14:42 +01:00
index.hbs	Open GitHub edit links in new tabs (#856)	2023-06-22 09:50:20 -04:00