From 02e0554b1ef8705c5ae0628f595ff9c2b63c5dc5 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 24 May 2022 14:06:20 +0200 Subject: [PATCH] preserves.dev --- src/tools/preserves-tools.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tools/preserves-tools.md b/src/tools/preserves-tools.md index 28662b6..edc9c0a 100644 --- a/src/tools/preserves-tools.md +++ b/src/tools/preserves-tools.md @@ -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