docs(api): clarify in docs that Well.has_tip checks only for unused tips#17455

Merged

sanni-t merged 1 commit intochore_release-8.3.0from RQA-3790-on-8-3-0-specify_has_tip_checks_clean_tips_only

Feb 6, 2025

+17-2

Commits on Feb 6, 2025

docs(api): clarify in docs that Well.has_tip checks only for unused tips (#17412 )

sanni-t
and
SyntaxColoring
committed