tree fee530a5e3a093c0fa14b985fc58b43c4d536581
parent 6033d26118cec11eca0c06af215b5876d72e24c6
author Ezio Melotti <ezio.melotti@gmail.com> 1302845116 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1302845116 +0300

#11848: replace dead link in random.betavariate comment.