Wed, 30 Jan 2019 09:26:48 +0100 Updated separator in term selection widget
Thierry Florac <tflorac@ulthar.net> [Wed, 30 Jan 2019 09:26:48 +0100] rev 111
Updated separator in term selection widget
(0) -100 -30 -10 -1 +1 +10 +30 tip