Trivadis
diff --git a/‎tools/genappendix.sh‎
100644100755 b/‎tools/genappendix.sh‎
100644100755
diff --git a/‎tools/run-in-container/genappendix.sh‎
100644100755 b/‎tools/run-in-container/genappendix.sh‎
100644100755
diff --git a/‎tools/run-in-container/genappendix_b_table.awk‎
100644100755 b/‎tools/run-in-container/genappendix_b_table.awk‎
100644100755