tree 2691a5bee3fd6951bce29f89046c0c7c848e6700
parent 5693d43e1063791e0dc190175c174c83ca261b75
author Daniel Lim Wee Soong <weesoong.lim@gmail.com> 1587883664 +0800
committer Daniel Lim Wee Soong <weesoong.lim@gmail.com> 1587883829 +0800

Ignore checking miniconda.sh for license header

Signed-off-by: Daniel Lim Wee Soong <weesoong.lim@gmail.com>