Last commit but clean

2020-12-17 13:11:55 +01:00 · 2020-12-17 13:11:55 +01:00 · 0fedf0877c
parent 0ef1eba093
commit 0fedf0877c
6 changed files with 0 additions and 1 deletions
--- a/src/.csim_results
+++ b/src/.csim_results
@ -1 +0,0 @@
 167 71 67
--- a/src/csim
+++ b/src/csim
--- a/src/test-trans
+++ b/src/test-trans
--- a/src/tracegen
+++ b/src/tracegen
--- a/src/trans.o
+++ b/src/trans.o
--- a/src/tuan-handin.tar
+++ b/src/tuan-handin.tar