diff options
| author | Valentin Gagarin <valentin@fricklerhandwerk.de> | 2022-04-22 10:54:43 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-08-04 12:37:46 +0200 |
| commit | 51e6bed25e073afac5a7b5e11033769a615d0473 (patch) | |
| tree | 021507a67392fd29fca2cf2645361f286ed609ea /doc/manual/src/glossary.md | |
| parent | 23ee0b24f7c0fd43ccf6f99b87941df4cb071689 (diff) | |
do not mention implementation details
Co-authored-by: John Ericson <git@JohnEricson.me>
Diffstat (limited to 'doc/manual/src/glossary.md')
0 files changed, 0 insertions, 0 deletions