HomeSource World

Merge pull request #91284 from danieldk/micro-man

Authored by Jörg Thalheim <Mic92@users.noreply.github.com> on Mon, Jun 22, 1:48 PM.

Description

Merge pull request #91284 from danieldk/micro-man

micro: install man page

Details

Event Timeline

GitHub <noreply@github.com> committed rNIXPKGS70c2c306184a: Merge pull request #91284 from danieldk/micro-man (authored by Jörg Thalheim <Mic92@users.noreply.github.com>).Mon, Jun 22, 1:48 PM

Merged Changes

CommitAuthorDetailsCommitted
bc03b771fd21Daniël de Kok
micro: install man page 
Jun 22