diff options
| author | Andrey Andreev <narf@devilix.net> | 2021-02-04 15:29:36 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2021-02-04 15:30:19 +0100 |
| commit | d3d274b4bd46be966b519e1e6cb8f3f61d4ef898 (patch) | |
| tree | 98ff0bbcc3a224a48bafe3da5fe08b402227c784 /user_guide_src/Makefile | |
| parent | 68ecbb692a2b19b0f0d11b57f0276cdc95637298 (diff) | |
[ci skip] Remove a comment made obsolete by PR #6013
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions