diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-29 22:35:23 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-29 22:35:23 +0100 |
commit | 5332853b6236ecd82fa3486648dec768d550a673 (patch) | |
tree | a4c7801ac1e126a0a6b58a0e32bcd3cbebb6062a /doc/Makefile | |
parent | 16486a9055216f8a13fc538f777d28ab0723b60b (diff) |
doc: Fix wrong reference after last update
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions