From c080b5b8a6eee6844089b751c3ede7d39ea0af28 Mon Sep 17 00:00:00 2001 From: Benno Schulenberg Date: Wed, 6 Oct 2021 11:03:01 +0200 Subject: [PATCH] rewrap a paragraph, for esthetics --- news.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/news.php b/news.php index b589e7a..9bfc86e 100644 --- a/news.php +++ b/news.php @@ -16,8 +16,8 @@
  • The extension of a filename is added to the name of a corresponding
    - temporary file, so that spell checking a C file, for example, will
    - check only the comments and strings (when using 'aspell').
  • + temporary file, so that spell checking a C file, for example, will check
    + only the comments and strings (when using 'aspell').
  • The process number is added to the name of an emergency save file,
    so that when multiple nanos die they will not fight over a filename.
  • Undoing a cutting operation will restore an anchor that was located
    -- 2.39.5