xmas commit

This commit is contained in:
2020-12-24 10:28:56 +01:00
parent 1a185d05c5
commit db05907447
4 changed files with 16 additions and 4 deletions

View File

@@ -311,10 +311,10 @@ if (foo) {
}
if (verbosity > 1) {
puts("==============");
puts("=========================");
filterstack_list(0, __FILE__);
filterstack_list(1, __FILE__);
puts("==============");
puts("=========================");
}
nbrsteps = atoi(argv[optind+2]);