Changeset: 983e14953576 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=983e14953576 Modified Files: tools/mserver/mserver5.c Branch: Mar2018 Log Message:
Indent. diffs (12 lines): diff --git a/tools/mserver/mserver5.c b/tools/mserver/mserver5.c --- a/tools/mserver/mserver5.c +++ b/tools/mserver/mserver5.c @@ -401,7 +401,7 @@ main(int argc, char **av) break; } usage(prog, -1); - /* not reached */ + /* not reached */ case 'c': /* coverity[var_deref_model] */ setlen = mo_add_option(&set, setlen, opt_cmdline, "config", optarg); _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list