From 76faba2d9f8dca90f961877783bbfd5d31d06cec Mon Sep 17 00:00:00 2001
From: Jeremy Ruston <jeremyruston@SilverSlim.local>
Date: Sat, 26 Oct 2013 10:29:40 +0100
Subject: [PATCH] Get rid of the old tempwidget

---
 core/modules/new_widgets/tempwidgets.js | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100755 core/modules/new_widgets/tempwidgets.js

diff --git a/core/modules/new_widgets/tempwidgets.js b/core/modules/new_widgets/tempwidgets.js
deleted file mode 100755
index 34c5c77d9..000000000
--- a/core/modules/new_widgets/tempwidgets.js
+++ /dev/null
@@ -1,19 +0,0 @@
-/*\
-title: $:/core/modules/new_widgets/tempwidgets.js
-type: application/javascript
-module-type: new_widget
-
-Temporary shim widgets
-
-\*/
-(function(){
-
-/*jslint node: true, browser: true */
-/*global $tw: false */
-"use strict";
-
-var Widget = require("$:/core/modules/new_widgets/widget.js").widget;
-
-exports["import"] = Widget;
-
-})();