Delete unnecessary file in root

rems-project · Nov 13, 2023 · 8217b27 · 8217b27
1 parent baa0ae3
commit 8217b27
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/scattered_function_doc.sail b/scattered_function_doc.sail