diff options
author | André Nusser <anusser@mpi-inf.mpg.de> | 2021-02-13 12:35:45 +0100 |
---|---|---|
committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2023-02-19 17:16:47 +0100 |
commit | e7a17805d91e01124c1bf2c509c16c7a76a278ac (patch) | |
tree | f968076b8163b99a19e25135422a4c5055728d7b /plugingui/maintab.cc | |
parent | 74b0dfe2d80b21b31a1206e22d507f32c33e4b70 (diff) |
Add position parameter of sample selection to settings.
Diffstat (limited to 'plugingui/maintab.cc')
0 files changed, 0 insertions, 0 deletions