2005-06-20 ひたすらwebを更新 組織の長が変わったので、関連する部分をwebから探し出して更新。おかげで、古くなって参照されていないデータも発見。こういったときは、grep -rがたいへん便利。