the-distro/ofborg
2
0
Fork 1
Code Issues 1 Pull requests 1 Packages Projects Releases Wiki Activity

config.public.json: add paths for the "6.topic: agda" tag

Browse source
This commit is contained in:
Dmitry Kalinkin 2021-02-03 12:40:15 -05:00 committed by Cole Helbling
parent 16355e10b4
commit 7e39be7bfb
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
config.public.json
View file

@ -115,6 +115,13 @@
]
},
"tag_paths": {
"6.topic: agda": [
"doc/languages-frameworks/agda.section.md",
"nixos/tests/agda.nix",
"pkgs/build-support/agda",
"pkgs/development/libraries/agda",
"pkgs/top-level/agda-packages.nix"
],
"6.topic: emacs": [
"nixos/modules/services/editors/emacs.nix",
"nixos/modules/services/editors/emacs.xml",