chiark / gitweb /
fix title etc. in merge use of no replay
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Mar 2012 19:51:39 +0000 (19:51 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Mar 2012 19:51:39 +0000 (19:51 +0000)
article.tex

index be6d475..89d23fe 100644 (file)
@@ -449,9 +449,9 @@ Merge commits $L$ and $R$ using merge base $M$ ($M < L, M < R$):
    \end{cases}
 }\]
 
-\subsection{Merge Results}
+\subsection{No Replay}
 
-As above.
+See No Replay for Merge Results.
 
 \subsection{Unique Base}