chiark / gitweb /
Remove src/random-seed
authorAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 11:28:46 +0000 (13:28 +0200)
committerAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 11:32:25 +0000 (13:32 +0200)
commit0bad5771e904733c5966297471beff7f4468fa3a
tree7073056b2ef5da56f6ebe563c724d6c653f9ac56
parent53e68eb09293b81c7d1d0c45f5d4f99c93724d69
Remove src/random-seed
src/random-seed/Makefile [deleted symlink]
src/random-seed/random-seed.c [deleted file]