Added "tee" to some commands.

jryates · May 9, 2022 · 814969e · 814969e
1 parent c872def
commit 814969e
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/2022_05_Trieste/Fri.PM.Ponce/tutorial.pdf b/2022_05_Trieste/Fri.PM.Ponce/tutorial.pdf