wok-next /ninja/stuff/patches/
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 ninja-1.8.2-add_NINJAJOBS_var-1.patch
|
2556 | -rw-r--r-- |
|
series
|
38 | -rw-r--r-- |
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
|
ninja-1.8.2-add_NINJAJOBS_var-1.patch
|
2556 | -rw-r--r-- |
|
series
|
38 | -rw-r--r-- |