upgraded user installed headers
commit795d2059b4776532d6bd397ab4c51bbe36c2c116
authorAntonio <antonio@antonio-laptop.(none)>
Sat, 12 Apr 2008 16:11:29 +0000 (12 18:11 +0200)
committerAntonio <antonio@antonio-laptop.(none)>
Sat, 12 Apr 2008 16:11:29 +0000 (12 18:11 +0200)
tree5983fa2d6d6cc7622f1afbbe6381fbcebdc98166
parent04bcbad6cc016f87802b3a6a69da6166e8eabbdf
upgraded user installed headers
RGS/inst/include/rgs_distrib.h