annotate sat/VERSION @ 3165:7699a08ba8fb

quick frontend(widget): added `with_duplicates` argument to getWidgets: when this argument is False, widgets with the same widget_hash are filtered to only return first one. It is True by default to keep former behaviour.
author Goffi <goffi@goffi.org>
date Wed, 12 Feb 2020 19:38:32 +0100
parents ff5bcb12ae60
children efe2445b053c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3027
ff5bcb12ae60 0.8 development starts
Goffi <goffi@goffi.org>
parents: 3025
diff changeset
1 0.8.0D