chiark / gitweb /
mention that merge can be used for dependency reinsertion
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 15 Mar 2012 19:19:07 +0000 (19:19 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 15 Mar 2012 19:19:07 +0000 (19:19 +0000)
commit5e8082d7f849de019800368b07b08ecc43f9400e
tree7cbe6e7c2d99c7c0ab719d99a73db41f38fb296f
parent3d2ac5d704e35823486cdc034b437177af9201b6
mention that merge can be used for dependency reinsertion
article.tex