From 735024cccb3fd366a5dcec4e3d7f2cd002408361 Mon Sep 17 00:00:00 2001 From: Light Date: Tue, 22 Nov 2022 09:12:26 +0530 Subject: [PATCH] Rename gnes.semant.json to school.semant.jso --- domains/{gnes.semant.json => school.semant.jso} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename domains/{gnes.semant.json => school.semant.jso} (100%) diff --git a/domains/gnes.semant.json b/domains/school.semant.jso similarity index 100% rename from domains/gnes.semant.json rename to domains/school.semant.jso