josdejong b74918ef48 Added table of contents to the documentation		2013-02-09 15:58:26 +01:00
..
chrome	Implemented history (undo/redo) for the sort action. Updated version number.	2012-12-19 19:22:09 +01:00
web	Added table of contents to the documentation	2013-02-09 15:58:26 +01:00