Francesco Mangiacrapa 9581d3ce73 fixing issues #24632		2023-02-20 15:22:51 +01:00
..
DragDropLayer.java	fixing issues #24632	2023-02-20 15:22:51 +01:00
RangeSlider.java	Merged with branch `locate_layer_geometry`	2023-01-31 15:24:45 +01:00
RangeSlider.ui.xml	merged manually with branch 'layer_switcher' #21991	2021-10-14 11:34:04 +02:00