chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4346f27) | patch
movehist: Move LENS etc. to otter, out of base
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Apr 2021 19:53:46 +0000 (20:53 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Apr 2021 22:02:56 +0000 (23:02 +0100)
commitd440527ed98e456924a665358d6f5a43d204eafd
tree538e535f2130272e49fc3a1859b0230411d9019btree | snapshot
parent4346f2786c41e31fa0404f74cd9d1cff78d83333commit | diff
movehist: Move LENS etc. to otter, out of base

We're going to send this as literals, not via wasm.

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