Update and modernize devel.install.
authormoshe weitzman
Mon, 5 Oct 2009 15:34:59 +0000 (15:34 +0000)
committermoshe weitzman
Mon, 5 Oct 2009 15:34:59 +0000 (15:34 +0000)
commitde383e66134fb6c854a319509c1c35a7f9be2c27
tree829d16969b73021c561c53e80a7d7a18b439ab76
parent6fae3934786d1cc1bb10b2ea2f657098ec3bb074
Update and modernize devel.install.
devel.install