Make source code browser optional
commitcf7e9df9d7355607472cc96c5495c5adda5f4f6d
authorVojtech Horky <vojtech.horky@gmail.com>
Fri, 6 Apr 2018 12:19:29 +0000 (6 14:19 +0200)
committerVojtech Horky <vojtech.horky@gmail.com>
Fri, 6 Apr 2018 12:19:29 +0000 (6 14:19 +0200)
tree608d3a9e6df8ed0006c15bb33c11f4574c06145e
parent653e48f87dc4f4b5a654246771005ec9da652854
Make source code browser optional
build.py