chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6f0c24) | patch
docs: Document that we need miri for testing
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 25 Jul 2021 21:31:25 +0000 (22:31 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 25 Jul 2021 21:31:25 +0000 (22:31 +0100)
commit6fa5eb1724a4d0b2dd1c0be843b46abffd6563d1
treee3e7a2edb189346277635c789dd082b231b825b8tree | snapshot
parenta6f0c2426b1861a4c728d1da299badaade4647f3commit | diff
docs: Document that we need miri for testing

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