some other minor changes from milpeer
[fnpeditor.git] / src / editor / modules / documentHistory /
2018-03-27 Jan Szejkosome other minor changes from milpeer master
2016-11-04 Jan Szejkopublishable items emphasized in history list
2013-12-17 Aleksander Łukaszeditor: bring back restore dialog after integration
2013-12-02 Aleksander Łukaszlinting
2013-09-13 Aleksander ŁukaszRefactoring: cleaning directories structure