[docs] Improve docs: fix consistency of dots in C API and add notes about new time-costs Python-package build option#5554
Merged
jameslamb merged 3 commits intomasterfrom improve_docsNov 3, 2022
+7-5
Commits
Commits on Oct 22, 2022
- authored
- authored
