diff options
| author | Adam Joseph <54836058+amjoseph-nixpkgs@users.noreply.github.com> | 2022-08-08 17:52:31 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-08 17:52:31 +0000 |
| commit | bac1e1bf8c359b5e6831c3974a05bdce867775a5 (patch) | |
| tree | ab801907fa453995754df8e4faa8e38ae8152e88 /local.mk | |
| parent | 1d3b92e80ca1564bf2c5ee207df707e215188633 (diff) | |
Update doc/manual/src/glossary.md
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions