docs: fix doc/ -> docs/ references missed in the consolidation merge
This commit is contained in:
parent
99f822b91a
commit
b3f2b19bf7
2 changed files with 3 additions and 3 deletions
|
|
@ -2,7 +2,7 @@
|
|||
# git libraries and check that their namespaces load and a sample call works.
|
||||
#
|
||||
# Network-gated: set JOLT_CONFORMANCE=1 to run (it clones from GitHub). Skipped by
|
||||
# default so CI stays offline. Findings are summarized in doc/tools-deps.md.
|
||||
# default so CI stays offline. Findings are summarized in docs/tools-deps.md.
|
||||
|
||||
(use ../../src/jolt/api)
|
||||
(use ../../src/jolt/types)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue