diff options
| author | Pankaj Jangid | 2020-10-09 06:46:27 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2020-10-09 06:46:27 +0200 |
| commit | 0407b155009542fd369350237fd975bd0a14f005 (patch) | |
| tree | eeebb0d40982306b7852e92f21e90045125efeca /src | |
| parent | 040dcbe53e39a83fde9cbd09e47b6cfe575d2d52 (diff) | |
| download | emacs-0407b155009542fd369350237fd975bd0a14f005.tar.gz emacs-0407b155009542fd369350237fd975bd0a14f005.zip | |
Removed an incorrectly placed extra word in the semantic docs
* doc/misc/semantic.texi (Parser code): Copy edit (bug#43861).
Copyright-paperwork-exempt: yes
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions