From a50db1b53f1b38a41c4805d569521d0f9aa8a0e9 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Wed, 4 May 2022 23:46:35 +0100 Subject: [PATCH] docs: Fix an editing error in dev.md Signed-off-by: Ian Jackson --- docs/dev.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/dev.md b/docs/dev.md index 641607ee..39347a56 100644 --- a/docs/dev.md +++ b/docs/dev.md @@ -192,8 +192,7 @@ Navigating the otter source code * `jstest/` - Node.js--based unit-end tests. - XXX explain + Node.js-based unit tests. * `specs/`. The table and game specs, as used directly by `otter`. -- 2.30.2