The GNU ed line editor ********************** This manual is for GNU ed (version 1.19, 11 January 2023).
Copyright (C) 1993, 1994, 2006-2023 Free Software Foundation, Inc. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.