Modify header.
authortomo <tomo>
Wed, 24 Dec 2003 08:55:56 +0000 (08:55 +0000)
committertomo <tomo>
Wed, 24 Dec 2003 08:55:56 +0000 (08:55 +0000)
commit6cdd23520b8ddc69f9e7cacfa08b852f79cc737f
tree9574b9eb3a77fb4a3134e9c39b1735d61e5dd669
parent9ba042d9b469615ae6476a8b915f7ff150a19311
Modify header.
semi-def.el