diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2022-03-21 13:15:35 -0400 |
---|---|---|
committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-08-04 12:37:46 +0200 |
commit | f5386d7059ad2c63b32356082d1f6ecacfc1e93b (patch) | |
tree | 30f03b07a3d34e15fbac59d63e48b990ba166b17 /doc/manual/src | |
parent | 678d75baeaca049042330e543f610d630e8c43b5 (diff) |
Fix stub file's name
Diffstat (limited to 'doc/manual/src')
-rw-r--r-- | doc/manual/src/design/store/entry-ca.md (renamed from doc/manual/src/design/store/netry-ca.md) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/manual/src/design/store/netry-ca.md b/doc/manual/src/design/store/entry-ca.md index 1333ed77b..1333ed77b 100644 --- a/doc/manual/src/design/store/netry-ca.md +++ b/doc/manual/src/design/store/entry-ca.md |