From 941f55d85f08c9c8ccd82dadfdcb74da1c3dd232 Mon Sep 17 00:00:00 2001 From: Vincent Ging Ho Yim Date: Mon, 19 May 2025 09:44:44 +1000 Subject: [PATCH] docs/operation-log: Fix section header casing --- docs/operation-log.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/operation-log.md b/docs/operation-log.md index dc41f32e6..5f1315ec9 100644 --- a/docs/operation-log.md +++ b/docs/operation-log.md @@ -26,7 +26,7 @@ The following operators are supported: * `x+`: Children of `x` -## divergent operations +## Divergent operations One benefit of the operation log (and the reason for its creation) is that it allows lock-free concurrency -- you can run concurrent `jj` commands without