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