diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-04-10 20:53:33 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-04-10 20:53:44 +0200 |
| commit | a73e1dd4198bd7fe83e6e00ee01fe5a83bbaa41d (patch) | |
| tree | a184937f164303e295b4dbfa228d75058c36562b /doc/coding-style.txt | |
| parent | 66425084c1c57c1fa1ddec3fb4ae6ca8c38e1070 (diff) | |
fix docu: section name changed
Diffstat (limited to 'doc/coding-style.txt')
0 files changed, 0 insertions, 0 deletions