Mentions légales du service

Skip to content

ide: Automatic scrolling to location now uses goal location fix #296

DAILLER Sylvain requested to merge fix_scroll_loc into master

This contains a change to constructor Task of itp_communication.mli which makes the itp interface incompatible with previous version (frontends have to be updated).

Merge request reports