Re: [boost] Status: random numbers library

From: Jens Maurer (jmaurer_at_[hidden])
Date: 2000-04-25 16:38:59

Jens Maurer wrote:
> I have put up an updated random library in the boost vault
> (at http://www.egroups.com/files/boost/random/),

Arghh...  I was a bit too quick with this.

egroups seems to have lost ownership information of my files,
so I can no longer delete nor overwrite them :-(

I've created a directory "new" within the directory "random"
which has all the new files.

Beman, can you do something about this mess?

Jens Maurer