diff options
| author | André Nusser <anusser@mpi-inf.mpg.de> | 2021-02-13 13:17:39 +0100 |
|---|---|---|
| committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2023-02-19 17:16:47 +0100 |
| commit | f4af9b7294d34cc377388ab9ec83a194d4b183c5 (patch) | |
| tree | 4da9666e6389c0316d25a8d2f1c3170340b5704f /plugingui/mainwindow.cc | |
| parent | e7a17805d91e01124c1bf2c509c16c7a76a278ac (diff) | |
Add position filter.
Diffstat (limited to 'plugingui/mainwindow.cc')
0 files changed, 0 insertions, 0 deletions