Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Upgrade the title tag in scilla-docs to 0.10.0 #145

Open
MszBednarski opened this issue Jul 1, 2021 · 0 comments
Open

Upgrade the title tag in scilla-docs to 0.10.0 #145

MszBednarski opened this issue Jul 1, 2021 · 0 comments
Milestone
Scilla 0.14.0

Comments

@MszBednarski
Copy link

MszBednarski commented Jul 1, 2021 •
edited
Loading

<title>Scilla by Example — scilla-doc 0.7.1 documentation</title> I got confused by the remote fetch, I thought it was some feature I missed but in fact this is the remote state read I was waiting for!
@jjcnn jjcnn added this to the Scilla 0.14.0 milestone Dec 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Scilla 0.14.0
Development

No branches or pull requests
2 participants
@jjcnn @MszBednarski