From 05429bf5ece15c0a0e504ae09956fdcac81c4e16 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Serman?= <aifsair@gmail.com>
Date: Sun, 21 Apr 2013 09:52:23 +0000
Subject: [PATCH] deleted renamed file (vm.php)

---
 .gitattributes      | 1 -
 bureau/class/vm.php | 5 -----
 2 files changed, 6 deletions(-)
 delete mode 100644 bureau/class/vm.php

diff --git a/.gitattributes b/.gitattributes
index 0d16ff67..62532cfe 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -375,7 +375,6 @@ bureau/class/mime.php -text
 bureau/class/reset_stats_conf.php -text
 bureau/class/variables.php -text
 bureau/class/vm.class.php -text
-bureau/class/vm.php -text
 bureau/index.php -text
 bureau/locales/Makefile -text
 bureau/locales/README -text
diff --git a/bureau/class/vm.php b/bureau/class/vm.php
deleted file mode 100644
index d7199233..00000000
--- a/bureau/class/vm.php
+++ /dev/null
@@ -1,5 +0,0 @@
-<?php
-interface vm {
-	public function start();
-	public function stop();
-}