Add cleanup script

10d93883 · Maxime Perrotin · e8cae68b · 10d93883
Commit 10d93883 authored Feb 14, 2018 by Maxime Perrotin
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

Demo_TwoCallers/user_init_last.sh Demo_TwoCallers/user_init_last.sh +1 -0

No files found.
--- a/Demo_TwoCallers/user_init_last.sh
+++ b/Demo_TwoCallers/user_init_last.sh
+rm -f ConcurrencyView_Properties.aadl f1/f1.adb f1/f1.ads f2/f2.adb f2/f2.ads f3/f3.adb f3/f3.ads f4/f4.adb f4/f4.ads