diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-04-10 22:13:04 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-04-10 22:13:04 +0200 |
| commit | 29868ab6c33ef5a9424a04e519d00666724db12f (patch) | |
| tree | f78194ffb1c7ed971e4e48add62b1ac1de3c7f2d /learn | |
| parent | 98e736acfd22ea99c1a1a45b970bc0e259b1918a (diff) | |
add prefix S to PDF output filename, as expected by rdf-related make targets
Diffstat (limited to 'learn')
0 files changed, 0 insertions, 0 deletions