Merge pull request #3443 from bobafetthotmail/patch-7
authorHannu Nyman <hannu.nyman@iki.fi>
Wed, 2 Nov 2016 10:07:50 +0000 (12:07 +0200)
committerGitHub <noreply@github.com>
Wed, 2 Nov 2016 10:07:50 +0000 (12:07 +0200)
commit8067dd75c3e5bad44dec3fffc94b0840e6155df2
tree5ba887c16a92a99865e1f3901b41591aabef45a1
parent46ce67cf2b12878833e5a7fc127d14d6b8ae13e4
parentdbe08868984a4b5a613b3101e0035a76415649ba
Merge pull request #3443 from bobafetthotmail/patch-7

llvm2: capitalized submenu name (disc -> Disc)