diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-02-16 23:52:12 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-02-16 23:52:12 +0100 |
| commit | 9413537e6d5390a535faa1d5a870389295effbaf (patch) | |
| tree | 00913c09193a2cfe0dc631491aae37349fa6ede2 /doc/syntax.texi | |
| parent | ffd7a343a634154b803838e7339a71754e369168 (diff) | |
add missing comments
Diffstat (limited to 'doc/syntax.texi')
0 files changed, 0 insertions, 0 deletions