diff options
author | 2022-03-08 22:28:48 +0100 | |
---|---|---|
committer | 2022-03-08 22:32:11 +0100 | |
commit | 98b08bcbd2e0bd131f3a8f8c53fed0c74198f630 (patch) | |
tree | ebd4c9723b62e269163794b2090750aeac439e40 /check-certificates | |
parent | ddb181fbc2d04d04743253b018cac00ffeb70de4 (diff) |
global-functions: (re-)introduce global $Read
... to interactively read input from user on terminal.
(cherry picked from commit 07cc38e973a6037649083494332fbae1946b48b4)
Diffstat (limited to 'check-certificates')
0 files changed, 0 insertions, 0 deletions