Merge pull request #1154 from whitequark/manual-sync-always
authorClifford Wolf <clifford@clifford.at>
Wed, 3 Jul 2019 08:45:29 +0000 (10:45 +0200)
committerDavid Shah <dave@ds0.me>
Tue, 9 Jul 2019 17:46:58 +0000 (18:46 +0100)
commitd105e2f03f259e4f2be3d6d9ba970565d8422b87
tree6414ce95494663eef768f72c6b9df65165bf85af
parent4b49c0201edc37d0d3edd906e2693d6284a1b0ba
Merge pull request #1154 from whitequark/manual-sync-always

manual: explain the purpose of `sync always`
manual/CHAPTER_Overview.tex