diff options
author | Pino Toscano <pino@debian.org> | 2013-09-23 14:16:34 +0200 |
---|---|---|
committer | Pino Toscano <pino@debian.org> | 2013-09-23 14:16:34 +0200 |
commit | 404f06f33fa51482c5a3e381ec98b8658bcd9848 (patch) | |
tree | 1c69462fcf3b1fac2c5f127057ef773fe3174a17 /random/random.h | |
parent | 4581466f40aa3de3fb258880ed5add35bb11d79c (diff) |
hurd-dev.install.in: remove redundant destination
Diffstat (limited to 'random/random.h')
0 files changed, 0 insertions, 0 deletions