]> git.ipfire.org Git - thirdparty/bootstrap.git/commitdiff
Merge pull request #20816 from bardiharborow/docs-clipboard
authorMark Otto <markd.otto@gmail.com>
Mon, 10 Oct 2016 04:04:41 +0000 (21:04 -0700)
committerGitHub <noreply@github.com>
Mon, 10 Oct 2016 04:04:41 +0000 (21:04 -0700)
Strip $ from copied shell commands.


Trivial merge