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