Merge pull request #13041 from berak:docs_highgui
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 6 Nov 2018 16:19:51 +0000 (19:19 +0300)
committerGitHub <noreply@github.com>
Tue, 6 Nov 2018 16:19:51 +0000 (19:19 +0300)
commit0a5301bc5b26cb300f4985185533e2ea58fe3813
treec13f17c4eaa8b0a57fc2aa56f9f6866d82754b3f
parent3a4bc0d41eeb499ca200d32b00465ede9216034d
parent6d2a97e9546a4967a0eebd0d19823003332c9811
Merge pull request #13041 from berak:docs_highgui