Skip to content
GitLab
Explore
Sign in
Register
Rename PageXML to PAGE XML
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Rename PageXML to PAGE XML
Eva Bardou
requested to merge
rename-pagexml-worker
into
master
Jul 26, 2024
Overview
0
Commits
1
Pipelines
1
Changes
5
Refs
arkindex/doc!159 (merged)
Merge request reports
Loading