added 2 commits
February 7, 2026 09:04ahojnnes deleted the user/jsch/update-dependencies branch
February 9, 2026 13:46Merged
sarlinpe added a commit that referenced this pull request
Feb 10, 2026#4086 broke the ordering of the API documentation, as reflected at https://colmap.github.io/pycolmap/pycolmap.html (we want class members to be ordered by source, not alphabetically, such that properties are grouped together). This PR fixes it. I haven't figured out how to use the newer, non-legacy API, so leaving this for later.
Merged