chiark / gitweb /
pseudomerge: commentary about foreign apparently-pseudo merges
[topbloke-formulae.git] / merge.tex
index 5bb0db2..881dd24 100644 (file)
--- a/merge.tex
+++ b/merge.tex
@@ -1,4 +1,5 @@
 \section{Merge}
+\label{commit-merge}
 
 Merge commits $L$ and $R$ using merge base $M$:
 \gathbegin