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