Moving files around for better naming scheme

VictorNicollet · Nov 2, 2011 · 19b6788 · 19b6788
1 parent 45e14c6
commit 19b6788
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 0 deletions.
diff --git a/src/driver.ml → src/serverDriver.ml b/src/driver.ml → src/serverDriver.ml
diff --git a/src/driver.mli → src/serverDriver.mli b/src/driver.mli → src/serverDriver.mli
diff --git a/src/driver_server.ml → src/serverDriver_common.ml b/src/driver_server.ml → src/serverDriver_common.ml
diff --git a/src/driver_server.mli → src/serverDriver_common.mli b/src/driver_server.mli → src/serverDriver_common.mli
diff --git a/src/driver_server_inMemory.ml → src/serverDriver_inMemory.ml b/src/driver_server_inMemory.ml → src/serverDriver_inMemory.ml
diff --git a/src/driver_server_inMemory.mli → src/serverDriver_inMemory.mli b/src/driver_server_inMemory.mli → src/serverDriver_inMemory.mli
diff --git a/src/driver_store.ml → src/storeDriver_common.ml b/src/driver_store.ml → src/storeDriver_common.ml
diff --git a/src/driver_store.mli → src/storeDriver_common.mli b/src/driver_store.mli → src/storeDriver_common.mli
diff --git a/src/driver_store_inMemory.ml → src/storeDriver_inMemory.ml b/src/driver_store_inMemory.ml → src/storeDriver_inMemory.ml
diff --git a/src/driver_store_inMemory.mli → src/storeDriver_inMemory.mli b/src/driver_store_inMemory.mli → src/storeDriver_inMemory.mli