diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-07-03 23:02:49 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-07-03 23:02:49 +0200 |
| commit | 2128cf6f4188d39c09aba5afa31b4f21ef156aee (patch) | |
| tree | 72c9cb6387186652e62c6fdf478e79081357fc14 /doc | |
| parent | 928714d22674f97b74fc82c91af97f5917cbd0fb (diff) | |
remove unnecessary block, use static where applicable
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions