Add buttons to show and hide prompts (!37) · Merge requests · emfollow / userguide · GitLab

The source project of this merge request has been removed.

Leo P. Singer requested to merge (removed):show-hide-prompts into master Mar 13, 2019

CC @giuseppe-greco, @roberto.depietri, @stuart.anderson.