| Mode | Name | Size | |
|---|---|---|---|
| d--------- | grub-dev | 75 | logplain |
| d--------- | grub | 75 | logplain |
| -rw-r--r-- | icon.png | 1617 | logplain |
| -rwxr-xr-x | index-page.sh | 583 | logplain |
| -rwxr-xr-x | index-terms.sh | 649 | logplain |
| d--------- | lib | 74 | logplain |
| d--------- | multiboot | 75 | logplain |
 |
index : gnu-grub-dash-docset.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |
