diff options
| author | Chris Cleeland <chris.cleeland@gmail.com> | 1998-02-17 00:01:17 +0000 |
|---|---|---|
| committer | Chris Cleeland <chris.cleeland@gmail.com> | 1998-02-17 00:01:17 +0000 |
| commit | 7896067cf4f5724f4ec0d21cf5a41db479adf6ce (patch) | |
| tree | 5b37003b27a9336525a8a6d9c4686dc9e3775842 /TAO/release.pl | |
| parent | 3a26a09e276970b939dc7c672b0586e85364b1ac (diff) | |
| download | ATCD-7896067cf4f5724f4ec0d21cf5a41db479adf6ce.tar.gz | |
Fixed comment leaders.
Diffstat (limited to 'TAO/release.pl')
| -rwxr-xr-x | TAO/release.pl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/TAO/release.pl b/TAO/release.pl index eec4318d753..f1031be721d 100755 --- a/TAO/release.pl +++ b/TAO/release.pl @@ -1,7 +1,7 @@ -// $Id$ -// -// Takes over some of the release work rather than having it all -// inline in the Makefile. +# $Id$ +# +# Takes over some of the release work rather than having it all +# inline in the Makefile. $date = `/usr/bin/date +"%a %b %d %T %Y"`; chop $date; |