Skip to content

Update and rename robots.txt to robots.txt.dist#429

Merged
arhimede merged 1 commit into
4.0from
arhimede-patch-1
Apr 24, 2024
Merged

Update and rename robots.txt to robots.txt.dist#429
arhimede merged 1 commit into
4.0from
arhimede-patch-1

Conversation

@arhimede
Copy link
Copy Markdown
Member

add instructions for allow/disalow robots

add instructions for allow/disalow robots
@arhimede arhimede linked an issue Apr 24, 2024 that may be closed by this pull request
@arhimede arhimede merged commit 644b320 into 4.0 Apr 24, 2024
@alexmerlin alexmerlin deleted the arhimede-patch-1 branch May 3, 2024 09:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

robots.txt dist ?

2 participants