Marc Beninca 80c6235e1b win		2018-05-13 01:38:03 +02:00
..
debian	_toctree	2018-05-11 21:34:48 +02:00
grub	grub,linux	2018-05-11 21:49:43 +02:00
linux	grub,linux	2018-05-11 21:49:43 +02:00
windows	win	2018-05-13 01:38:03 +02:00
index.rst	win	2018-05-13 01:38:03 +02:00