10 Jan
2016
10 Jan
'16
1:15 p.m.
On 10/01, Florian Pritz wrote:
I'm not sure what dev.archlinux.org is used for. Isn't that some kind of personal web space for devs? Can we move it that easily?
I think it might be meant to be used as the domain for running dev versions of archweb, as aur-dev is for the AUR. -- Sincerely, Johannes Löthberg PGP Key ID: 0x50FB9B273A9D0BB5 https://theos.kyriasis.com/~kyrias/