diff --git a/tools/occmd/occmdcfg.ini b/tools/occmd/occmdcfg.ini index ca1d4c09ee9b9d606166b3e15f467fdffee791b4..97233a259bb02b57a81d39ae4836fce7a608a2c5 100644 --- a/tools/occmd/occmdcfg.ini +++ b/tools/occmd/occmdcfg.ini @@ -29,3 +29,6 @@ pl_whitelist_wiki = %(resources_dir)s/dashboard/pl_whitelist_wiki.txt pl_loc_timeout = 60 # number of processes the `cloc` tool can use pl_loc_ncpu = 4 + +[oc] +gl_url =