diff --git a/junk/faulhaber/index.html b/junk/faulhaber/faulhaber.html similarity index 100% rename from junk/faulhaber/index.html rename to junk/faulhaber/faulhaber.html diff --git a/junk/index.html b/junk/index.html index b931c36..527e5bc 100644 --- a/junk/index.html +++ b/junk/index.html @@ -23,8 +23,8 @@ anyway.
diff --git a/junk/sieves/index.html b/junk/sieves/sieves.html similarity index 100% rename from junk/sieves/index.html rename to junk/sieves/sieves.html