summaryrefslogtreecommitdiff
path: root/support/dktools/dk3inst.c
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-09-20 03:03:26 +0000
committerNorbert Preining <norbert@preining.info>2020-09-20 03:03:26 +0000
commit1f457376b478257b88d4a857f5ec1b6155442dd7 (patch)
tree2a06a60551dea362cf8cb0cb0ba66c78608717c4 /support/dktools/dk3inst.c
parentac690ca29ad5bf8a5203a65fd6252f7b564f4727 (diff)
CTAN sync 202009200303
Diffstat (limited to 'support/dktools/dk3inst.c')
-rw-r--r--support/dktools/dk3inst.c2
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;
}
-/* }}} */