15 Feb
2015
15 Feb
'15
4:30 p.m.
On Sun, Feb 15, 2015 at 10:22 AM, Simon Linden <xhi2018@googlemail.com> wrote:
If not - can somebody update "man 5 pacman.conf" - or would it be better to fill a bug?
Neither. Some things are done quite on purpose... -Dan