last update before WFL2

CIRCSE · Jul 21, 2022 · 3d01c71 · 3d01c71
1 parent dfdfc70
commit 3d01c71
Showing 1 changed file with 15 additions and 15 deletions.
diff --git a/derivational_db.sql b/derivational_db.sql