diff options
| author | Pierre-Marie Pédrot | 2020-04-15 19:16:16 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-04-26 14:24:48 +0200 |
| commit | e16aab42641f0b79827c4598bf065b1607a08c43 (patch) | |
| tree | 3c184a7c68b8deb4f4ea07e02b5eae91056c8947 /checker | |
| parent | 3dc9ec53041b4b34a601c2d454d0e47005561b30 (diff) | |
Tweak a comment on the low-level objfile API.
Diffstat (limited to 'checker')
0 files changed, 0 insertions, 0 deletions