Skip to content
Autolabel PRs

[Merged by Bors] - style(Geometry/Manifold): remove superfluous indentation in doc-strings #5886

Sign in to view logs

[Merged by Bors] - style(Geometry/Manifold): remove superfluous indentation in doc-strings

[Merged by Bors] - style(Geometry/Manifold): remove superfluous indentation in doc-strings #5886

Triggered via pull request February 20, 2025 09:42
@grunweggrunweg
opened #22117
MR-mfd-unindent
Status Success
Total duration 1m 8s
Artifacts –

add_label_from_diff.yaml

on: pull_request
Add topic label
57s
Add topic label
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Add topic label
Applicable labels: #[t-differential-geometry]
Add topic label
added label: t-differential-geometry