highlighting: make comments, prompt and command-output non-selectable#12425
Merged
usha-mandya merged 5 commits intodocker:masterfrom Mar 2, 2021
Merged
highlighting: make comments, prompt and command-output non-selectable#12425usha-mandya merged 5 commits intodocker:masterfrom
usha-mandya merged 5 commits intodocker:masterfrom
Commits
Commits on Mar 2, 2021
- committed
- committed
- committed
- committed
- committed
