diff options
| author | André Nusser <anusser@mpi-inf.mpg.de> | 2021-02-13 13:17:39 +0100 |
|---|---|---|
| committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2021-08-09 19:24:06 +0200 |
| commit | f7e049d45570765258c8cabfc0a3d8207ae5cf15 (patch) | |
| tree | a55396bb4ef6453cc5a1265dd69eadbcf839d190 /dggui/stackedwidget.cc | |
| parent | dcca66e1ef51e1755f856613db43b6b6fa3dffec (diff) | |
Add position filter.
Diffstat (limited to 'dggui/stackedwidget.cc')
0 files changed, 0 insertions, 0 deletions