Skip to content

Various improvements and renames preparing version bump#26

Merged
epistrephein merged 9 commits into
mainfrom
improvements
May 15, 2026
Merged

Various improvements and renames preparing version bump#26
epistrephein merged 9 commits into
mainfrom
improvements

Conversation

@epistrephein
Copy link
Copy Markdown
Member

@epistrephein epistrephein commented May 15, 2026

  • Move graph to graph/ and subgraphs to graph/subgraphs/
  • Bump Python version to 3.13.13
  • Change xsd:string to rdfs:Literal
  • Regenerate Graffoo
  • Minor changes to the website

@epistrephein epistrephein self-assigned this May 15, 2026
@epistrephein epistrephein marked this pull request as ready for review May 15, 2026 10:16
@epistrephein epistrephein merged commit 569476c into main May 15, 2026
4 checks passed
@epistrephein epistrephein deleted the improvements branch May 15, 2026 10:21
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.

1 participant