diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-06-03 07:55:34 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-06-04 17:35:42 +0200 |
| commit | a7345d2f8535a6d7ceb7c73f6811b7bce96d14e0 (patch) | |
| tree | 155c0dbf69c4104c8d5270f5835433d7ddf0d895 /.gitignore | |
| parent | 718b0e29d6a6cac9805f1a9fb7c638ea3d2b78bd (diff) | |
include local rerendering of tags in make target annot-all
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions