From 948096c0e6e475c47c5459f30de0d2508b0e80c2 Mon Sep 17 00:00:00 2001 From: Luc Giffon <luc.giffon@lif.univ-mrs.fr> Date: Tue, 27 Feb 2018 14:10:15 +0100 Subject: [PATCH] rename timeit to more exlpicit name --- main/{timeit.py => time_batch_subsample_ops.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename main/{timeit.py => time_batch_subsample_ops.py} (100%) diff --git a/main/timeit.py b/main/time_batch_subsample_ops.py similarity index 100% rename from main/timeit.py rename to main/time_batch_subsample_ops.py -- GitLab