preserves.dev

This commit is contained in:
Tony Garnock-Jones 2022-05-24 14:06:20 +02:00
parent 4a93ede771
commit 02e0554b1e
1 changed files with 2 additions and 2 deletions

View File

@ -10,9 +10,9 @@ utility][preserves-tool], which is useful for
- pretty-printing (indenting) text Preserves syntax;
- manipulating Preserves annotations;
- breaking down and filtering Preserves documents using [preserves
path](https://preserves.gitlab.io/preserves/preserves-path.html) selectors;
path](https://preserves.dev/preserves-path.html) selectors;
- and so on.
See also the [`preserves-tool` documentation][preserves-tool].
[preserves-tool]: https://preserves.gitlab.io/preserves/doc/preserves-tool.html
[preserves-tool]: https://preserves.dev/doc/preserves-tool.html