chiark / gitweb /
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Ian Jackson [Sat, 29 Oct 2022 21:26:02 +0000 (22:26 +0100)]
wip print-opt-orient
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 29 Oct 2022 21:07:03 +0000 (22:07 +0100)]
Merge remote-tracking branch 'origin/main' into main
Rewrote the branch to add appropriate s-o-b and then merged to make ff.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 29 Oct 2022 21:05:53 +0000 (22:05 +0100)]
wip print-opt-orient
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 29 Oct 2022 21:05:47 +0000 (22:05 +0100)]
wip print-opt-orient
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 29 Oct 2022 20:13:08 +0000 (21:13 +0100)]
drop random cargo dropping
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 29 Oct 2022 20:12:55 +0000 (21:12 +0100)]
minimal licence tag
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 29 Oct 2022 20:13:08 +0000 (21:13 +0100)]
drop random cargo dropping
Ian Jackson [Sat, 29 Oct 2022 20:12:55 +0000 (21:12 +0100)]
minimal licence tag
Ian Jackson [Sat, 29 Oct 2022 20:11:51 +0000 (21:11 +0100)]
add a readme
Ian Jackson [Sat, 29 Oct 2022 20:10:29 +0000 (21:10 +0100)]
wip corners settlings etc.
Ian Jackson [Sat, 29 Oct 2022 19:59:30 +0000 (20:59 +0100)]
wip settlings
Ian Jackson [Sat, 29 Oct 2022 19:51:09 +0000 (20:51 +0100)]
wip settlings
Ian Jackson [Sat, 29 Oct 2022 19:44:35 +0000 (20:44 +0100)]
settlings wip
Ian Jackson [Sat, 29 Oct 2022 19:44:29 +0000 (20:44 +0100)]
settlings wip
Ian Jackson [Sat, 29 Oct 2022 19:23:51 +0000 (20:23 +0100)]
wip
Ian Jackson [Sat, 29 Oct 2022 19:23:08 +0000 (20:23 +0100)]
wip
Ian Jackson [Sat, 29 Oct 2022 19:11:56 +0000 (20:11 +0100)]
wip
Ian Jackson [Sat, 29 Oct 2022 19:09:06 +0000 (20:09 +0100)]
wip
Ian Jackson [Sat, 29 Oct 2022 19:09:02 +0000 (20:09 +0100)]
wip
Ian Jackson [Sat, 29 Oct 2022 19:01:36 +0000 (20:01 +0100)]
wip
Ian Jackson [Sat, 29 Oct 2022 19:00:05 +0000 (20:00 +0100)]
wip
Ian Jackson [Sat, 29 Oct 2022 18:57:05 +0000 (19:57 +0100)]
wip
Ian Jackson [Sat, 29 Oct 2022 18:57:02 +0000 (19:57 +0100)]
wip
Ian Jackson [Sat, 29 Oct 2022 18:47:48 +0000 (19:47 +0100)]
prep
Ian Jackson [Sat, 29 Oct 2022 18:45:36 +0000 (19:45 +0100)]
wip before Rust
Ian Jackson [Sat, 29 Oct 2022 18:41:28 +0000 (19:41 +0100)]
wip
Ian Jackson [Sat, 29 Oct 2022 18:39:08 +0000 (19:39 +0100)]
wip
~ian / z3-treefoil / log