diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2022-08-10 13:59:49 +0200 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2022-08-10 13:59:49 +0200 |
| commit | 14a958d4f2fc932db1c1af30ca405e6570d60e24 (patch) | |
| tree | c0298a7061890592adca11271108ce77efe003ea /docs | |
| parent | 3b8b2e005195a53c4511880b49c10a273ed84ec8 (diff) | |
manual: Regenerate texi
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/with-editor.texi | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/docs/with-editor.texi b/docs/with-editor.texi index 6fad37d..528b4f5 100644 --- a/docs/with-editor.texi +++ b/docs/with-editor.texi @@ -62,20 +62,7 @@ don't use Magit or another package which uses it internally. @noindent This manual is for With-Editor version 3.2.0-git. -@quotation -Copyright (C) 2015-2022 Jonas Bernoulli <jonas@@bernoul.li> - -You can redistribute this document and/or modify it under the terms -of the GNU General Public License as published by the Free Software -Foundation, either version 3 of the License, or (at your option) any -later version. - -This document is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE@. See the GNU -General Public License for more details. - -@end quotation +@insertcopying @end ifnottex @menu |