Skip to content

Rename document module to text_document#11571

Merged
MichaReiser merged 1 commit intomainfrom
rename-document-module
May 27, 2024
Merged

Rename document module to text_document#11571
MichaReiser merged 1 commit intomainfrom
rename-document-module

Conversation

@MichaReiser
Copy link
Copy Markdown
Member

@MichaReiser MichaReiser commented May 27, 2024

Summary

#11206 renamed Document to TextDocument but without renaming the module.

This PR renames the document module to text_document.

Test Plan

cargo build

@MichaReiser MichaReiser added the internal An internal refactor or improvement label May 27, 2024
@MichaReiser MichaReiser merged commit adc0a5d into main May 27, 2024
@MichaReiser MichaReiser deleted the rename-document-module branch May 27, 2024 16:32
@github-actions
Copy link
Copy Markdown
Contributor

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal An internal refactor or improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants