Merge branch 'dev_user_interface' of http://earth.bsc.es/gitlab/es/diagonals...
Merge branch 'dev_user_interface' of http://earth.bsc.es/gitlab/es/diagonals into dev_user_interface
Merge branch 'dev_user_interface' of http://earth.bsc.es/gitlab/es/diagonals into dev_user_interface