diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-07-04 23:28:03 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-07-04 23:28:03 +0200 |
| commit | f9950799fc21c6847d13f93aaec2cd6a555d546a (patch) | |
| tree | 02816ec563bf39fb4e719fb284a1b05ed09f7161 /doc | |
| parent | d77c4160ecf7b1d33d49ba47e3236f5dcc14ecc8 (diff) | |
eliminate dead macros
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions