| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitmodules | 62 | logplain |
| -rwxr-xr-x | copyright | 1710 | logplain |
| d--------- | doc | 467 | logplain |
| d--------- | git | 35 | logplain |
| -rwxr-xr-x | intro | 5776 | logplain |
| -rwxr-xr-x | publish | 1281 | logplain |
| -rw-r--r-- | release-bugfix-only.txt | 1208 | logplain |
| -rw-r--r-- | release.txt | 8441 | logplain |
| -rwxr-xr-x | rep-publish | 577 | logplain |
| -rwxr-xr-x | rep-test | 3553 | logplain |
| -rwxr-xr-x | rep-update | 1727 | logplain |
| -rwxr-xr-x | review | 872 | logplain |
| -rwxr-xr-x | stage | 4296 | logplain |
| -rwxr-xr-x | tag | 734 | logplain |
| -rwxr-xr-x | version | 6767 | logplain |
 |
index : etc | |
| build2 extra development files (helper scripts, checklists, etc) |
| summaryrefslogtreecommitdiff |