diff options
author | Christian Pointner <equinox@helsinki.at> | 2016-07-28 16:18:09 (GMT) |
---|---|---|
committer | Christian Pointner <equinox@helsinki.at> | 2016-07-28 16:18:09 (GMT) |
commit | 24ec6833f3bb6c665506612105137c71cd82debe (patch) | |
tree | 05256c4c730e6e8d99e8de1aac700a87769ab8b8 /debian/rhrd-utils.install | |
parent | fca7f6272ff0a4cf8cb7c932e6ca19d20058da57 (diff) |
added tool rhrd-tool (most library functions are still missing)
Diffstat (limited to 'debian/rhrd-utils.install')
-rw-r--r-- | debian/rhrd-utils.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rhrd-utils.install b/debian/rhrd-utils.install index 97effc6..4d6ff45 100644 --- a/debian/rhrd-utils.install +++ b/debian/rhrd-utils.install @@ -6,3 +6,4 @@ usr/bin/rhrd-show usr/bin/rhrd-user usr/bin/rhrd-sanity-check usr/bin/rhrd-schedules +usr/bin/rhrd-pool |