hace 7 años · 4ff98f0237
--- a/services/web/public/src/ide/history/HistoryManager.js
+++ b/services/web/public/src/ide/history/HistoryManager.js
@@ -19,6 +19,7 @@ define([
 
				   'moment',
			
 
				   'ide/colors/ColorManager',
			
 
				   'ide/history/util/displayNameForUser',
			
 
				+  'ide/history/controllers/HistoryCompareController',
			
 
				   'ide/history/controllers/HistoryListController',
			
 
				   'ide/history/controllers/HistoryDiffController',
			
 
				   'ide/history/directives/infiniteScroll'