diff options
author | Norbert Preining <norbert@preining.info> | 2020-09-20 03:03:26 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-09-20 03:03:26 +0000 |
commit | 1f457376b478257b88d4a857f5ec1b6155442dd7 (patch) | |
tree | 2a06a60551dea362cf8cb0cb0ba66c78608717c4 /support/dktools/dk3inst.c | |
parent | ac690ca29ad5bf8a5203a65fd6252f7b564f4727 (diff) |
CTAN sync 202009200303
Diffstat (limited to 'support/dktools/dk3inst.c')
-rw-r--r-- | support/dktools/dk3inst.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/support/dktools/dk3inst.c b/support/dktools/dk3inst.c index 4de3e751e2..e805716cd1 100644 --- a/support/dktools/dk3inst.c +++ b/support/dktools/dk3inst.c @@ -36,13 +36,11 @@ dkChar const * const dk3inst_directories[] = { dkChar const * dk3inst_get_directory(size_t i) -/* {{{ */ { dkChar const *back = NULL; if(i <= 10) { back = dk3inst_directories[i]; } return back; } -/* }}} */ |