1
0
mirror of https://github.com/systemd/systemd.git synced 2025-01-26 14:04:03 +03:00
systemd/semaphoreci
Yu Watanabe 3041250a9f
Merge pull request #12519 from keszybz/man-on-demand
Build man pages on demand only
2019-05-21 08:25:26 +09:00
..