# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1527727132 -32400
# Node ID b9988caa505a08f01f07e9b76d0869a087b18b85
# Parent  7828dfd07246e60d1f194dab9c41d2304b9d54aa
Update to "dev" branch explicitly

diff -r 7828dfd07246 -r b9988caa505a makefile
--- a/makefile	Thu May 31 09:34:29 2018 +0900
+++ b/makefile	Thu May 31 09:38:52 2018 +0900
@@ -237,4 +237,4 @@
 	-hg push
 	-hg push git
 	-hg push cvs
-	(cd ${RSYNCDIR} && hg up -v && cvs ci -m '')
+	(cd ${RSYNCDIR} && hg up -Cv dev && cvs ci -m '')