diff options
author | André Nusser <andre.nusser@googlemail.com> | 2019-03-22 01:09:15 +0100 |
---|---|---|
committer | André Nusser <andre.nusser@googlemail.com> | 2019-05-11 14:58:45 +0200 |
commit | 9c5efc23764522597a53a8745860cec54ea55d69 (patch) | |
tree | d672afdf2e11553d36370cc1abbef5033557f85e /plugingui/resource.cc | |
parent | 50b011c4740a5ec5338903b1d8b5fbb4b42f3df3 (diff) |
Add settings and GUI for new sampling algorithm.
Diffstat (limited to 'plugingui/resource.cc')
0 files changed, 0 insertions, 0 deletions