overleaf/services/web/public/coffee/ide/history
2017-12-20 16:42:09 +00:00
..
controllers show user.name in history if available 2017-09-27 10:54:06 +01:00
directives
HistoryManager.coffee Style the edit/add/rename options 2017-12-19 13:58:47 +00:00
HistoryV2Manager.coffee Remove debug line 2017-12-20 16:42:09 +00:00