chiark / gitweb /
Ensure that an old random seed isn't left around for the user to see when a
authorJacob Nevins <jacobn@chiark.greenend.org.uk>
Sat, 21 May 2005 22:07:48 +0000 (22:07 +0000)
committerJacob Nevins <jacobn@chiark.greenend.org.uk>
Sat, 21 May 2005 22:07:48 +0000 (22:07 +0000)
commit8ddfc3904bb200fa74a383573e1b353ff3143114
tree2bab57649705bac1955697c096691c64c71feaff
parentf3ba6f8bcefde0ff75971e662841ecef6be56b5a
Ensure that an old random seed isn't left around for the user to see when a
descriptive ID has been specified.
Fix tiny memory leak.

[originally from svn r5825]
midend.c