Skip to content
Back to pull request #4620

docs: script to convert HTML manual pages to markdown #3609

Sign in to view logs

docs: script to convert HTML manual pages to markdown

docs: script to convert HTML manual pages to markdown #3609

Triggered via pull request October 31, 2024 08:32
@netelerneteler
opened #4620
Status Success
Total duration 13m 23s
Artifacts –

label.yml

on: pull_request_target
labeler
4s
labeler
Fit to window
Zoom out
Zoom in