| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | checkman.awk | 3879 | logplain |
| -rw-r--r-- | colophon | 638 | logplain |
| d--------- | lookman | 72 | logplain |
| -rw-r--r-- | mklinks.py | 1575 | logplain |
| -rw-r--r-- | mksectionindex.py | 1018 | logplain |
| -rw-r--r-- | notes | 76 | logplain |
| -rw-r--r-- | preface | 2688 | logplain |
| -rwxr-xr-x | secindex | 497 | logplain |
| -rw-r--r-- | title | 1478 | logplain |
| -rw-r--r-- | tohtml.sh | 893 | logplain |
| -rw-r--r-- | trademarks | 2268 | logplain |
 |
index : inferno-os.git | |
| [no description] |
| summaryrefslogtreecommitdiff |