last functionality of Git integration : difference between current and previous commit implemented !
correct modification_date inserting need to be tested
Merge commit 'b0ee4fe6aefa792bab913ecb6709de0537d3ff30' into Release-Note_view
ADD diff view