Removing temp files from HEAD (should still be available in MOODLE_20_WORKSHOP branch)

diff --git a/mod/workshop/index.php b/mod/workshop/index.php
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/mod/workshop/lib.php b/mod/workshop/lib.php
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/mod/workshop/locallib.php b/mod/workshop/locallib.php
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/mod/workshop/version.php b/mod/workshop/version.php
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/mod/workshop/view.php b/mod/workshop/view.php
deleted file mode 100644 (file)
index e69de29..0000000