Marc Beninca 7878ae5409 grub,linux		2018-05-11 21:49:43 +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
index.rst	grub,linux	2018-05-11 21:49:43 +02:00