Skip to content

Exclude the definition files from GeoPol tool.#530

Merged
jackliums merged 1 commit intomasterfrom personal/jackliu/exclude-definition-file-from-geo-polJun 20, 2019
+4-1

Commits

Commits on Jun 19, 2019