sterni 57a9874588 chore(nix): move buildManPages to //users/sterni ... It's only used in my user directory and I don't feel it's generally useful. There's so little to interpolate you may as well just check them in. Change-Id: I31dc9917c2b281c7d68388e1a32c8ef5179621df Reviewed-on: https://cl.tvl.fyi/c/depot/+/12873 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI		2024-12-31 09:03:38 +00:00
..
default.nix	chore(nix): move buildManPages to //users/sterni	2024-12-31 09:03:38 +00:00
OWNERS	chore(gerrit): migrate OWNERS files to code-owners style	2022-09-19 11:13:28 +00:00