diff options
| author | Théo Zimmermann | 2020-03-18 18:36:10 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-19 17:47:20 +0100 |
| commit | a5c131bef041b0985e96a5ab0e64e7e1fdc76b7a (patch) | |
| tree | ab8b9e278ed149d73c641ff316423fd225690e86 /doc/tools/docgram/common.edit_mlg | |
| parent | 0fe5cfd5fa81565b6045bd602b786ed38e19aaa9 (diff) | |
Update fullGrammar and common.edit_mlg following #11839.
Diffstat (limited to 'doc/tools/docgram/common.edit_mlg')
| -rw-r--r-- | doc/tools/docgram/common.edit_mlg | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/doc/tools/docgram/common.edit_mlg b/doc/tools/docgram/common.edit_mlg index fe2e68a517..853b818498 100644 --- a/doc/tools/docgram/common.edit_mlg +++ b/doc/tools/docgram/common.edit_mlg @@ -140,10 +140,10 @@ field_ident: [ | "." ident ] -basequalid: [ -| REPLACE ident fields -| WITH ident LIST0 field_ident -| DELETE ident +qualid: [ | DELETENT ] + +qualid: [ +| ident LIST0 field_ident ] field: [ | DELETENT ] @@ -842,7 +842,6 @@ SPLICE: [ | ne_lstring | ne_string | lstring -| basequalid | fullyqualid | global | reference |