From ce2e036b6f8bea1fd7da0c425af27600ef76c6b3 Mon Sep 17 00:00:00 2001 From: d_m Date: Sat, 13 Apr 2024 23:56:04 -0400 Subject: [PATCH] rename file --- demo.modal => arith.modal | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename demo.modal => arith.modal (100%) diff --git a/demo.modal b/arith.modal similarity index 100% rename from demo.modal rename to arith.modal