| Age | Commit message (Collapse) | 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 |