Merge pull request #9382 from tweag/filterSource-link

doc: Add link to filterSource from path
This commit is contained in:
John Ericson 2023-11-19 00:06:18 -05:00 committed by GitHub
commit c4a74d6dcc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2374,7 +2374,7 @@ static RegisterPrimOp primop_path({
like `@`. like `@`.
- filter\ - filter\
A function of the type expected by `builtins.filterSource`, A function of the type expected by [`builtins.filterSource`](#builtins-filterSource),
with the same semantics. with the same semantics.
- recursive\ - recursive\