Bart van den Eijnden 59ba146463 Merge pull request #6627 from bartvde/unselectable ...

Change css selector for user-select none

2017-03-22 16:48:22 +01:00

..

ol.css

Merge pull request #6627 from bartvde/unselectable

2017-03-22 16:48:22 +01:00