diff options
author | Remita Amine <remitamine@gmail.com> | 2020-11-20 23:23:55 +0100 |
---|---|---|
committer | Remita Amine <remitamine@gmail.com> | 2020-11-20 23:23:55 +0100 |
commit | a1c88c4819233cf5f3734bcd6cf251d4339196ce (patch) | |
tree | 4c24044a05a684c67a6ed514f4223ccbd0db5f1b /docs/Makefile | |
parent | 51ca93d75162f554efd8d4cb5ac97864a38f7bee (diff) |
[infoq] fix format extraction(closes #25984)
Diffstat (limited to 'docs/Makefile')
0 files changed, 0 insertions, 0 deletions