diff options
author | Vito Caputo <vcaputo@pengaru.com> | 2018-02-23 11:47:11 -0800 |
---|---|---|
committer | Vito Caputo <vcaputo@pengaru.com> | 2018-02-23 11:47:11 -0800 |
commit | 32abf6aa80d92576db59b5380b30dabe4152bdf0 (patch) | |
tree | 21fb6c98b0d3c3dd57664a1e3772dc886bf458d5 /src/util.h | |
parent | dde6c5e93e26f6706cd04745928ae9ad5dddfc9f (diff) |
util: drop stdio ask_$type() helpers
With drmsetup.c gone these are no longer used and I don't see
their use returning. Get rid of them.
Diffstat (limited to 'src/util.h')
-rw-r--r-- | src/util.h | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -28,7 +28,5 @@ ((_a) > (_b) ? (_a) : (_b)) unsigned get_ncpus(void); -void ask_string(char *buf, int len, const char *prompt, const char *def); -void ask_num(int *res, int max, const char *prompt, int def); #endif /* _UTIL_H */ |