yatex

diff makefile @ 570:2ed79846fd53

find changesets by author, revision, files, or words in the commit message
Add forgotten shortcut for figure environment
author HIROSE Yuuji <yuuji@gentei.org>
date Sun, 07 Apr 2019 01:10:29 +0900
parents 7828dfd07246
children
line diff
     1.1 --- a/makefile	Thu May 31 09:34:29 2018 +0900
     1.2 +++ b/makefile	Sun Apr 07 01:10:29 2019 +0900
     1.3 @@ -237,4 +237,4 @@
     1.4  	-hg push
     1.5  	-hg push git
     1.6  	-hg push cvs
     1.7 -	(cd ${RSYNCDIR} && hg up -v && cvs ci -m '')
     1.8 +	(cd ${RSYNCDIR} && hg up -Cv dev && cvs ci -m '')