Delete Tidy

It wasn't used any more.
2009-08-19 19:35:02 -04:00
parent 24a5c3c19a
commit 003807334b
10 changed files with 3 additions and 1322 deletions
--- a/js/ui/genericDisplay.js
+++ b/js/ui/genericDisplay.js
@ -10,7 +10,6 @@ const Mainloop = imports.mainloop;
 const Pango = imports.gi.Pango;
 const Signals = imports.signals;
 const Shell = imports.gi.Shell;
-const Tidy = imports.gi.Tidy;

 const Button = imports.ui.button;
 const DND = imports.ui.dnd;