Tue, 13 Mar 2018 16:28:50 +0100 Added settings for JQuery-UI "droppable" plug-in
Thierry Florac <thierry.florac@onf.fr> [Tue, 13 Mar 2018 16:28:50 +0100] rev 286
Added settings for JQuery-UI "droppable" plug-in
(0) -100 -30 -10 -1 +1 +10 +30 +100 tip