Skip to content

Import from XML and export as XML #22

Open
Open
Import from XML and export as XML#22
Labels
enhancementNew feature or request
@zrksyd

Description

@zrksyd
zrksyd
opened on Nov 20, 2025

Convert PRC as XML and vice versa.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions