chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 105690e) | patch
Remove one use of TAIT
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 30 Mar 2022 22:55:41 +0000 (23:55 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 30 Mar 2022 22:55:41 +0000 (23:55 +0100)
commitdd30c210efe414011788f875325f745bed18daea
tree86d452fcad56a1b83104de09eeddfa8fe02a4c74tree | snapshot
parent105690e5e7789bb3721390d1ae9600b5bb280b7bcommit | diff
Remove one use of TAIT

This is our remaining usntable feature.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bundles.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.