diff options
| author | André Nusser <anusser@mpi-inf.mpg.de> | 2021-02-13 12:35:45 +0100 |
|---|---|---|
| committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2022-02-05 12:34:49 +0100 |
| commit | 600e63ec84a66ec39b73c603d5de9d8da43e334e (patch) | |
| tree | 01116d54f84bf41766f2485d5c21bade4dca0aff /plugin/Makefile.mingw32.in | |
| parent | a916b974658ebfca6939cf68eb8a03663edf575e (diff) | |
Add position parameter of sample selection to settings.
Diffstat (limited to 'plugin/Makefile.mingw32.in')
0 files changed, 0 insertions, 0 deletions