mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2025-01-12 23:23:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

docs: add copy tracking design doc to MkDocs

Browse source 
Missed in #3574.
This commit is contained in:
Vincent Ging Ho Yim 2024-07-20 04:10:54 +10:00 committed by Philip Metzger
parent 491ec3d3eb
commit 2e3b4b5fe3
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
mkdocs.yml
View file

@ -9,7 +9,7 @@ theme:
features: features:
# - navigation.top # - navigation.top
# Respect the users default settings and add a toggle for manually choosing # Respect the user's default settings and add a toggle for manually choosing
# automatic/light/dark palette. # automatic/light/dark palette.
# taken from https://squidfunk.github.io/mkdocs-material/setup/changing-the-colors/#system-preference # taken from https://squidfunk.github.io/mkdocs-material/setup/changing-the-colors/#system-preference
palette: palette:
@ -137,5 +137,4 @@ nav:
- 'JJ run': 'design/run.md' - 'JJ run': 'design/run.md'
- 'Sparse Patterns v2': 'design/sparse-v2.md' - 'Sparse Patterns v2': 'design/sparse-v2.md'
- 'Tracking branches': 'design/tracking-branches.md' - 'Tracking branches': 'design/tracking-branches.md'
- 'Copy tracking and tracing': 'design/copy-tracking.md'