diff options
author | Maria Matejka <mq@ucw.cz> | 2020-02-04 10:11:16 +0100 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2020-02-04 10:11:16 +0100 |
commit | 4bbc10614f3431c37e6352f5a6ea5c693c31021e (patch) | |
tree | f9645875b6785c999d8e9d18d3e03912d35eb319 /.gitignore | |
parent | 7f9adafc109d576d5249c25ef284606dbac4adfa (diff) |
Added missing extern
Thanks to Robert Scheck <bird@robert-scheck.de> who reported it
and Toke Høiland-Jørgensen <toke@toke.dk> who suggested this patch.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions