diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-06-19 05:45:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-18 23:45:08 -0400 |
| commit | 7bf17f8825b7aacde8b4e3c5e035f6d442d649c4 (patch) | |
| tree | 9483a22a21ae70c9e875077f8e880b142ef5b0a7 /Makefile.config.in | |
| parent | 60d81b51639b852b7a043e6e7663b6902df1885d (diff) | |
Add description for file system objects (#8500)
While this is not actually a notion in the implementation, it is
explicitly described in the thesis and quite important for understanding
how the store works.
Co-authored-by: John Ericson <git@JohnEricson.me>
Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions