diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-02-07 12:46:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-07 12:46:11 +0100 |
| commit | 0d73313c55497f32dcff1546f0f0625391f7a833 (patch) | |
| tree | ddf6378923645ca061d77409e99c87c3b15617ed /src | |
| parent | 895dfc656a21f6252ddf48df0d1f215effa04ecb (diff) | |
| parent | c20394245d602d43c7a601253bebdf0fab498b52 (diff) | |
Merge pull request #7318 from fricklerhandwerk/doc-instantiate
add "instantiate" to glossary
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions