diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2021-06-28 14:02:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-28 14:02:37 +0200 |
| commit | 4c4c00e9f1373dee2dd294442b7bd1cde40bec65 (patch) | |
| tree | 642eb074235b122851b3ab07bad1bb19230907f1 /doc/functions | |
| parent | 124bbaf311076d6e6b79bc2093fa4726a388cc16 (diff) | |
| parent | 4cf56e56405a226d8b21e8643e32a10b60930ae9 (diff) | |
Merge pull request #124875 from hercules-ci/lib-sources
lib.sources: docs, tests, refactoring
Diffstat (limited to 'doc/functions')
| -rw-r--r-- | doc/functions/library.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/functions/library.xml b/doc/functions/library.xml index 6ffb944b5a609..21bcf5b88c9d8 100644 --- a/doc/functions/library.xml +++ b/doc/functions/library.xml @@ -25,4 +25,6 @@ <xi:include href="./library/generated/debug.xml" /> <xi:include href="./library/generated/options.xml" /> + + <xi:include href="./library/generated/sources.xml" /> </section> |