This repository has been archived by the owner on Jun 27, 2019. It is now read-only.
Fix #203: Clarify pushing doesn't reload browser automatically#218
Merged
eliangcs merged 1 commit intomasterfrom doc-refresh-browserDec 28, 2017
+283-163
