![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| README | 2023-07-18 13:04 | 1.0K | |
| a-format.awk | 2023-07-18 13:04 | 30 | |
| a-format.bad | 2023-07-18 13:04 | 60 | |
| a-format.ok | 2023-07-18 13:04 | 9 | |
| decr-NF.awk | 2023-07-18 13:04 | 103 | |
| decr-NF.bad | 2023-07-18 13:04 | 30 | |
| decr-NF.ok | 2023-07-18 13:04 | 27 | |
| ofs-rebuild.awk | 2023-07-18 13:04 | 465 | |
| ofs-rebuild.bad | 2023-07-18 13:04 | 23 | |
| ofs-rebuild.ok | 2023-07-18 13:04 | 17 | |
| space.awk | 2023-07-18 13:04 | 376 | |
| space.bad | 2023-07-18 13:04 | 278 | |
| space.ok | 2023-07-18 13:04 | 282 | |
| string-conv.awk | 2023-07-18 13:04 | 240 | |
| string-conv.bad | 2023-07-18 13:04 | 67 | |
| string-conv.ok | 2023-07-18 13:04 | 53 | |
| system-status.awk | 2023-07-18 13:04 | 575 | |
| system-status.bad | 2023-07-18 13:04 | 98 | |
| system-status.ok | 2023-07-18 13:04 | 86 | |
| unary-plus.awk | 2023-07-18 13:04 | 56 | |
| unary-plus.bad | 2023-07-18 13:04 | 23 | |
| unary-plus.ok | 2023-07-18 13:04 | 10 | |