diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-04-17 14:54:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-17 14:54:30 +0200 |
| commit | f4119a67ccb12ab8988ccb5d0fd19660a20d61d0 (patch) | |
| tree | e0e18b1b494613e9fa61b2d478a6cecd47fe6f64 /doc/manual/src/glossary.md | |
| parent | d0cf615cbbd1f4b15e04cb3696af109066096aef (diff) | |
use @docroot@ link
Diffstat (limited to 'doc/manual/src/glossary.md')
0 files changed, 0 insertions, 0 deletions