2 Commits (62bc20c8cf1a8a4c8d970d3c20137273d94ac9b8)

Author SHA1 Message Date
John P. Neumann 5566a9c792
Resolves 1641 - Checks whether the prompt is set to be managed or not. (#1723)
6 years ago
Indrajit Raychaudhuri 17a59bada7 [prompt] Rename helper function `promptpwd` to `prompt-pwd` for consistency
8 years ago