chiark / gitweb /
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Ian Jackson [Thu, 16 May 2019 00:06:24 +0000 (01:06 +0100)]
wip
Ian Jackson [Wed, 15 May 2019 23:56:51 +0000 (00:56 +0100)]
wip
Ian Jackson [Wed, 15 May 2019 23:51:57 +0000 (00:51 +0100)]
copy txt2ps from gdr talk
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 15 May 2019 23:26:23 +0000 (00:26 +0100)]
wip build
Ian Jackson [Wed, 15 May 2019 22:41:29 +0000 (23:41 +0100)]
wip slides
Ian Jackson [Wed, 15 May 2019 15:40:41 +0000 (16:40 +0100)]
done script roughly
Ian Jackson [Wed, 15 May 2019 15:17:24 +0000 (16:17 +0100)]
wip
Ian Jackson [Wed, 15 May 2019 15:01:40 +0000 (16:01 +0100)]
wip
Ian Jackson [Wed, 15 May 2019 15:01:26 +0000 (16:01 +0100)]
wip
Ian Jackson [Wed, 15 May 2019 13:40:20 +0000 (14:40 +0100)]
wip
Ian Jackson [Wed, 15 May 2019 12:39:29 +0000 (13:39 +0100)]
wip
Ian Jackson [Tue, 14 May 2019 16:27:25 +0000 (17:27 +0100)]
finished B
Ian Jackson [Tue, 14 May 2019 16:18:04 +0000 (17:18 +0100)]
wip