#
# $Id: release.txt,v 1.12 2004/09/30 04:16:07 jlinoff Exp $
#
# This is the repository for the ccdoc version number.
# The release.pl script is used to update the necessary
# source files. This makes changing the revision number
# convenient.
#
v08r41 2004/09/29
