chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e67ba74) | patch
api: Create and destroy a ToRecompute
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 13 Mar 2021 21:41:14 +0000 (21:41 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 13 Mar 2021 21:42:06 +0000 (21:42 +0000)
commit07edc81a00345c0301e8eeda17c7b6822bb32e65
tree915c5c4aa7dc72cb5dc701fc1941a65f1cd50f12tree | snapshot
parente67ba74d1db87b37339dec875221fcba455f6d7ecommit | diff
api: Create and destroy a ToRecompute

Nothing uses this yet.

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