diff --git a/gap/Interactive.gd b/gap/interactive.gd similarity index 100% rename from gap/Interactive.gd rename to gap/interactive.gd diff --git a/gap/Interactive.gi b/gap/interactive.gi similarity index 100% rename from gap/Interactive.gi rename to gap/interactive.gi diff --git a/init.g b/init.g index 748fb87..6df53ee 100644 --- 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 index 2c4579f..43f60cf 100644 --- 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 b/tst/interactive.tst similarity index 100% rename from tst/Interactive.tst rename to tst/interactive.tst