From 6871f4eabd01a46e8246bb9b919eeea17d791837 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Tue, 15 Jun 2010 14:18:42 +0200 Subject: [PATCH] move files ( clocking and init ) --- minils/{transformations => analysis}/clocking.ml | 0 minils/{transformations => analysis}/init.ml | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename minils/{transformations => analysis}/clocking.ml (100%) rename minils/{transformations => analysis}/init.ml (100%) diff --git a/minils/transformations/clocking.ml b/minils/analysis/clocking.ml similarity index 100% rename from minils/transformations/clocking.ml rename to minils/analysis/clocking.ml diff --git a/minils/transformations/init.ml b/minils/analysis/init.ml similarity index 100% rename from minils/transformations/init.ml rename to minils/analysis/init.ml