Skip to content

replace google code prettify #33

Open
Open
replace google code prettify#33
@flaix

Description

@flaix
flaix
opened on Dec 17, 2022

It is now dead. Find a good replacement.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions