cvs の $Name$ タグ2007年07月01日 12時07分30秒

CVS の $Name$ タグは、cvs tag に置き換えられるとある。しかし、cvs checkout や cvs update でこれが書き変わらない。

ソースコードまでは追っていないが、調べたところでは、cvs export をした時にしか置換されないようだ。