| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-05-13 | improve reduce | David Wührer |
| 2023-05-13 | improvements | David Wührer |
| 2023-04-07 | Add a few incomplete things | David Wührer |
| 2022-11-03 | Add a few old things. | David Wührer |
| 2019-10-13 | Initial commit | David Wührer |
 |
index : utils.git | |
| Some useful commands, and some less useful ones. With manuals. |
| summaryrefslogtreecommitdiff |