Sun, 07 Jan 2024 11:02:43 +0100 | Mike Becker | trim indents by default - fixes #317 | file | diff | annotate |
Sun, 17 Sep 2023 13:26:22 +0200 | Mike Becker | basic implementation of shId() | file | diff | annotate |
Sun, 10 Sep 2023 12:52:10 +0200 | Mike Becker | some more code cleanup | file | diff | annotate |
Wed, 06 Sep 2023 22:55:42 +0200 | Mike Becker | first minor code improvements | file | diff | annotate | base |