| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | patch-gnumach_softclock-wagi.diff.gz | 576 | logplain |
| -rw-r--r-- | patch-gnumach_softint-wagi.diff.gz | 1799 | logplain |
 |
index : web.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiff |