Paulo Reis a5c6f81573 Merge branch 'master' into pr-history-labels-part-2		2018-08-10 15:57:32 +01:00
..
components	Handle sorting of labels; keep selection between view changes.	2018-08-09 11:03:00 +01:00
controllers	Merge branch 'master' into pr-history-labels-part-2	2018-08-10 15:57:32 +01:00
directives	Rename track-changes -> history on the client	2016-10-10 16:59:25 +01:00
util	Add custom styling; add code to handle point-in-time selection.	2018-05-01 17:27:51 +01:00
HistoryManager.coffee	History file tree integration with the backend.	2018-05-21 15:13:34 +01:00
HistoryV2Manager.coffee	More bugfixing.	2018-08-10 15:57:10 +01:00