From d2e836ad5984a17c84dc802a5dcd20323879b730 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicolas=20M=2E=20Thi=C3=A9ry?= Date: Thu, 19 Mar 2015 01:16:37 -0700 Subject: [PATCH] 8678: module_with_basis_morphism.py -> modules_with_basis/morphism.py --- .../morphism.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/sage/modules/{module_with_basis_morphism.py => modules_with_basis/morphism.py} (100%) diff --git a/src/sage/modules/module_with_basis_morphism.py b/src/sage/modules/modules_with_basis/morphism.py similarity index 100% rename from src/sage/modules/module_with_basis_morphism.py rename to src/sage/modules/modules_with_basis/morphism.py