danderson/ofborg
0
0
Fork 0
forked from the-distro/ofborg
Code Pull requests Activity

Merge pull request #340 from veprbl/patch-1

Browse source 
Enable tagging for TeX PRs
This commit is contained in:
Graham Christensen 2019-04-11 20:47:35 -04:00 committed by GitHub
parent e32187994b f95b815057
commit 7336c67202
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
config.public.json
View file

@ -180,6 +180,10 @@
"6.topic: steam": [
"pkgs/games/steam"
],
"6.topic: TeX": [
"pkgs/tools/typesetting/tex",
"doc/languages-frameworks/texlive.xml"
],
"6.topic: vim": [
"pkgs/applications/editors/vim",
"pkgs/misc/vim-plugins",