| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| edit-number.png | D | 18-Mar-2017 | 276 | |||
| edit-replace.png | D | 18-Mar-2017 | 445 | |||
| sort_ascending.png | D | 18-Mar-2017 | 506 | |||
| sort_descending.png | D | 18-Mar-2017 | 509 | |||
| text_indent.png | D | 18-Mar-2017 | 353 | |||
| text_indent_remove.png | D | 18-Mar-2017 | 351 | |||
| wrench_orange.png | D | 18-Mar-2017 | 657 |
