Skip to content

pretty urls#501

Merged
ocots merged 2 commits into
mainfrom
500-general-pretty-urls-in-documentation
May 7, 2025
Merged

pretty urls#501
ocots merged 2 commits into
mainfrom
500-general-pretty-urls-in-documentation

Conversation

@ocots
Copy link
Copy Markdown
Member

@ocots ocots commented May 7, 2025

No description provided.

@ocots ocots linked an issue May 7, 2025 that may be closed by this pull request
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented May 7, 2025

Breakage test results
Date: 2025-05-07 17:18:27

Package name latest stable
OptimalControlProblems.jl

@ocots ocots merged commit a7bd098 into main May 7, 2025
8 checks passed
@ocots ocots deleted the 500-general-pretty-urls-in-documentation branch May 7, 2025 16:05
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.

[General] Pretty urls in documentation

1 participant