chiark / gitweb /
manually-boxed
22 months agoreindent
Ian Jackson [Fri, 15 Nov 2024 10:29:22 +0000 (10:29 +0000)]
reindent

22 months agolicence
Ian Jackson [Fri, 15 Nov 2024 01:35:24 +0000 (01:35 +0000)]
licence

22 months agodocs
Ian Jackson [Fri, 15 Nov 2024 01:32:53 +0000 (01:32 +0000)]
docs

22 months agotypos
Ian Jackson [Fri, 15 Nov 2024 01:15:32 +0000 (01:15 +0000)]
typos

22 months agorename
Ian Jackson [Fri, 15 Nov 2024 01:15:27 +0000 (01:15 +0000)]
rename

22 months agochange names
Ian Jackson [Fri, 15 Nov 2024 01:13:39 +0000 (01:13 +0000)]
change names

22 months agotypo
Ian Jackson [Thu, 14 Nov 2024 23:56:30 +0000 (23:56 +0000)]
typo

22 months agodocs
Ian Jackson [Thu, 14 Nov 2024 23:55:54 +0000 (23:55 +0000)]
docs

22 months agodocs
Ian Jackson [Thu, 14 Nov 2024 23:50:19 +0000 (23:50 +0000)]
docs

22 months agodocs etc.
Ian Jackson [Thu, 14 Nov 2024 23:40:05 +0000 (23:40 +0000)]
docs etc.

22 months agodocs
Ian Jackson [Thu, 14 Nov 2024 23:36:59 +0000 (23:36 +0000)]
docs

22 months agodocs and box
Ian Jackson [Thu, 14 Nov 2024 23:30:44 +0000 (23:30 +0000)]
docs and box

22 months agodocs
Ian Jackson [Thu, 14 Nov 2024 23:21:41 +0000 (23:21 +0000)]
docs

22 months agoeocs
Ian Jackson [Thu, 14 Nov 2024 23:18:49 +0000 (23:18 +0000)]
eocs

22 months agocommit a lockfile
Ian Jackson [Thu, 14 Nov 2024 22:43:27 +0000 (22:43 +0000)]
commit a lockfile

22 months agodocs
Ian Jackson [Thu, 14 Nov 2024 22:42:37 +0000 (22:42 +0000)]
docs

22 months agounsized
Ian Jackson [Thu, 14 Nov 2024 22:33:50 +0000 (22:33 +0000)]
unsized

22 months agoorganisation
Ian Jackson [Thu, 14 Nov 2024 22:27:39 +0000 (22:27 +0000)]
organisation

22 months agosealed better
Ian Jackson [Thu, 14 Nov 2024 22:18:11 +0000 (22:18 +0000)]
sealed better

22 months agoattempt at sealing
Ian Jackson [Thu, 14 Nov 2024 22:15:26 +0000 (22:15 +0000)]
attempt at sealing

22 months agodocs
Ian Jackson [Thu, 14 Nov 2024 22:15:23 +0000 (22:15 +0000)]
docs

22 months agoergonomic
Ian Jackson [Thu, 14 Nov 2024 22:07:27 +0000 (22:07 +0000)]
ergonomic

22 months agorename
Ian Jackson [Thu, 14 Nov 2024 21:56:43 +0000 (21:56 +0000)]
rename

22 months agochk vec
Ian Jackson [Thu, 14 Nov 2024 21:56:01 +0000 (21:56 +0000)]
chk vec

22 months agobefore local
Ian Jackson [Thu, 14 Nov 2024 21:54:35 +0000 (21:54 +0000)]
before local

22 months agocode motion
Ian Jackson [Thu, 14 Nov 2024 21:48:56 +0000 (21:48 +0000)]
code motion

22 months agowip
Ian Jackson [Thu, 14 Nov 2024 21:27:29 +0000 (21:27 +0000)]
wip

22 months agowip
Ian Jackson [Thu, 14 Nov 2024 20:55:26 +0000 (20:55 +0000)]
wip

22 months agobetter
Ian Jackson [Thu, 14 Nov 2024 20:41:50 +0000 (20:41 +0000)]
better

22 months agoowned
Ian Jackson [Thu, 14 Nov 2024 20:39:39 +0000 (20:39 +0000)]
owned

22 months agotrouble
Ian Jackson [Thu, 14 Nov 2024 19:04:17 +0000 (19:04 +0000)]
trouble

22 months agomulti 1
Ian Jackson [Thu, 14 Nov 2024 18:33:05 +0000 (18:33 +0000)]
multi 1

22 months agowip
Ian Jackson [Thu, 14 Nov 2024 17:59:22 +0000 (17:59 +0000)]
wip

22 months agow
Ian Jackson [Thu, 14 Nov 2024 17:22:18 +0000 (17:22 +0000)]
w

22 months agogetting there
Ian Jackson [Thu, 14 Nov 2024 17:18:59 +0000 (17:18 +0000)]
getting there

22 months agocompiles again
Ian Jackson [Thu, 14 Nov 2024 17:03:16 +0000 (17:03 +0000)]
compiles again

22 months agobefore trait
Ian Jackson [Thu, 14 Nov 2024 16:38:31 +0000 (16:38 +0000)]
before trait

22 months agowip
Ian Jackson [Thu, 14 Nov 2024 16:28:24 +0000 (16:28 +0000)]
wip

22 months agocompiles?
Ian Jackson [Thu, 14 Nov 2024 16:20:15 +0000 (16:20 +0000)]
compiles?

22 months agowip
Ian Jackson [Thu, 14 Nov 2024 16:08:09 +0000 (16:08 +0000)]
wip

22 months agowip
Ian Jackson [Thu, 14 Nov 2024 16:02:09 +0000 (16:02 +0000)]
wip

22 months agowip
Ian Jackson [Thu, 14 Nov 2024 15:30:38 +0000 (15:30 +0000)]
wip

22 months agowip
Ian Jackson [Thu, 14 Nov 2024 15:29:17 +0000 (15:29 +0000)]
wip

22 months agowip
Ian Jackson [Thu, 14 Nov 2024 13:53:52 +0000 (13:53 +0000)]
wip

22 months agocargo init
Ian Jackson [Thu, 14 Nov 2024 13:12:03 +0000 (13:12 +0000)]
cargo init