diff options
author | Helge Kreutzmann <debian@helgefjell.de> | 2021-01-13 19:32:01 +0100 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2021-01-13 19:32:01 +0100 |
commit | cef9e97fec59c5e09ec37646168cfd1cf57fd24b (patch) | |
tree | 39ca7cbf947891ca8fdcc92b2f757dcf3150e215 /doc/makefile | |
parent | 5426ad6462c5478592740146bf3ddd11179e52d8 (diff) |
Closes: #979848
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions