Skip to content

Claudius 1.1 prep#117

Merged
pawaskar-shreya merged 4 commits into
mainfrom
mwd-pictures-for-1.1
Aug 31, 2025
Merged

Claudius 1.1 prep#117
pawaskar-shreya merged 4 commits into
mainfrom
mwd-pictures-for-1.1

Conversation

@mdales
Copy link
Copy Markdown
Collaborator

@mdales mdales commented Aug 31, 2025

With the addition of Picture.t, we should do a 1.1 update to opam. This PR does prep for this:

  • Makes the Picture.t dimensions method to be consistent with Screen.t and Font.t
  • Updates the README to point at the website, and re-orders things a little to be more focussed on users of Claudius rather than developers of Claudius
  • Fixes up the odoc to reflect how palettes have changed.

@pawaskar-shreya
Copy link
Copy Markdown
Collaborator

Hello @mdales!

Shall I review and mrege this PR? So, I can have this chagnes on my local also

@mdales
Copy link
Copy Markdown
Collaborator Author

mdales commented Aug 31, 2025

Hello @mdales!

Shall I review and mrege this PR? So, I can have this chagnes on my local also

Sure - I didn't want to assign it to you as with Outreachy ending I don't want to assume you have time, but it'd be great if you do want to review PRs when you can

@mdales mdales requested a review from pawaskar-shreya August 31, 2025 09:27
@pawaskar-shreya
Copy link
Copy Markdown
Collaborator

but it'd be great if you do want to review PRs when you can

Yeaa, sure!

I would love to! 💯💯

Copy link
Copy Markdown
Collaborator

@pawaskar-shreya pawaskar-shreya left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have added some very minute changes, purely documentation based. 😅😅

Comment thread README.md Outdated
Comment thread doc/index.mld Outdated
@mdales
Copy link
Copy Markdown
Collaborator Author

mdales commented Aug 31, 2025

Thanks @pawaskar-shreya - great catches!

@mdales mdales requested a review from pawaskar-shreya August 31, 2025 10:12
Copy link
Copy Markdown
Collaborator

@pawaskar-shreya pawaskar-shreya left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ready to merge!

@pawaskar-shreya pawaskar-shreya merged commit 3e398de into main Aug 31, 2025
1 check passed
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.

2 participants