tree c97547305f3a97b84e95765002d40f36cf6f5e8b
parent 46803b3ef6eb923f4a53d7b56deee4fc51c02af0
author Chris Yeung <chrishkchris@yahoo.com.hk> 1606269023 +0800
committer Chris Yeung <chrishkchris@yahoo.com.hk> 1606269023 +0800

update from singa-doc PR#41