[PHP-users 2457] 何のコード?

kz-ml php-users@php.gr.jp
Thu, 4 Oct 2001 01:07:08 +0900


phpとは直接関係ないのかもしれませんが、ソースファイルの上部に良く見かける

// File: $Id: admin.php,v 1.15 2001/08/30 02:41:01 xxxxx Exp $ $Name:  $

のようなコードは何を意味をするのでしょうか?大体は想像がつくのですが、どこか
にこの
コードのフォーマットを詳しく説明しているところはないでしょうか?
よろしくお願いします