chiark / gitweb /
Cleanup: rename random_init() to random_new(), because it actually
authorSimon Tatham <anakin@pobox.com>
Sat, 22 Oct 2005 16:27:54 +0000 (16:27 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 22 Oct 2005 16:27:54 +0000 (16:27 +0000)
commit23ab000b7b038b6810e48a71a94b8287c20a6047
tree1e8bcd5adc7c7d3b8179a954bc0e7c1c50cec7af
parent4faecc77264b6d3e84ae24707af5593490f36796
Cleanup: rename random_init() to random_new(), because it actually
_allocates_ a random_state rather than just initialising one passed
in by the caller.

[originally from svn r6412]
blackbox.c
devel.but
map.c
midend.c
net.c
puzzles.h
random.c