CVS commit: htdocs/releases/formal-6

Module Name: htdocs
Committed By: snj
Date: Thu Aug 22 02:09:28 UTC 2013
Removed Files:
htdocs/releases/formal-6: changes.mdoc
Log Message:
This ought not be in CVS, since it's only a temporary file used to
fill in part of src/distrib/notes/common/main.
To generate a diff of this commit:
cvs rdiff -u -r1.7 -r0 htdocs/releases/formal-6/changes.mdoc
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.