Skip to content
Linux

scripts/managen: the new name and home for the manpage generator #9148

Sign in to view logs

scripts/managen: the new name and home for the manpage generator

scripts/managen: the new name and home for the manpage generator #9148

Triggered via push March 8, 2024 16:05
@bagderbagder
pushed 1ccf1cd
master
Status Success
Total duration 49m 31s
Artifacts –

linux.yml

on: push
Matrix: autotools
Fit to window
Zoom out
Zoom in