diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2023-02-17 08:19:46 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-02-17 08:19:46 +0100 |
| commit | c7cc91c47f9b074521fcaaa05a020525d719c2d9 (patch) | |
| tree | 24fa5dabf567a11ceb6bb3b406b6721080b7d6f0 /man | |
| parent | 9b5a04b645235b10fe574eb14f3e7c6717c43b5a (diff) | |
Fix path, build target for prebuilt pdf vignettes
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions