big commit before big mess

This commit is contained in:
tth
2022-10-28 21:53:57 +02:00
parent 7cde5e3b6b
commit 23f3eeb032
17 changed files with 225 additions and 28 deletions

View File

@@ -57,7 +57,7 @@ do
grep 'Parse Time' WS/toto.err
grep 'Trace Time' WS/toto.err
echo ; sleep 10
echo
done