diff options
| author | Andy Wingo <wingo@pobox.com> | 2015-04-19 13:28:46 +0200 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2015-04-19 13:32:25 +0200 |
| commit | 0bad5771e904733c5966297471beff7f4468fa3a (patch) | |
| tree | 7073056b2ef5da56f6ebe563c724d6c653f9ac56 /src/random-seed/Makefile | |
| parent | 53e68eb09293b81c7d1d0c45f5d4f99c93724d69 (diff) | |
Remove src/random-seed
Diffstat (limited to 'src/random-seed/Makefile')
| l--------- | src/random-seed/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/random-seed/Makefile b/src/random-seed/Makefile deleted file mode 120000 index d0b0e8e008..0000000000 --- a/src/random-seed/Makefile +++ /dev/null @@ -1 +0,0 @@ -../Makefile
\ No newline at end of file |