Rename Interactive to interactive

gap-packages · Sep 3, 2024 · 0512033 · 0512033
1 parent 4287f7b
commit 0512033
Show file tree

Hide file tree

Showing 5 changed files with 2 additions and 2 deletions.
diff --git a/gap/Interactive.gd → gap/interactive.gd b/gap/Interactive.gd → gap/interactive.gd
diff --git a/gap/Interactive.gi → gap/interactive.gi b/gap/Interactive.gi → gap/interactive.gi
diff --git a/init.g b/init.g
@@ -9,4 +9,4 @@ ReadPackage("PackageManager", "gap/compile.gd");
 ReadPackage("PackageManager", "gap/doc.gd");
 ReadPackage("PackageManager", "gap/git.gd");
 ReadPackage("PackageManager", "gap/hg.gd");
-ReadPackage("PackageManager", "gap/Interactive.gd");
+ReadPackage("PackageManager", "gap/interactive.gd");
diff --git a/read.g b/read.g
@@ -9,4 +9,4 @@ ReadPackage("PackageManager", "gap/compile.gi");
 ReadPackage("PackageManager", "gap/doc.gi");
 ReadPackage("PackageManager", "gap/git.gi");
 ReadPackage("PackageManager", "gap/hg.gi");
-ReadPackage("PackageManager", "gap/Interactive.gi");
+ReadPackage("PackageManager", "gap/interactive.gi");
diff --git a/tst/Interactive.tst → tst/interactive.tst b/tst/Interactive.tst → tst/interactive.tst