diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2019-09-05 11:15:58 +0200 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2019-09-05 11:15:58 +0200 |
| commit | c0788a90a0d6e047488980a2ad5bb4f9cf108682 (patch) | |
| tree | 284b7c184b15e71b8839c1c259d8f888f3c2a5c1 /gui/muxrc.py | |
| parent | 80da341c45f7b1b75a2227f931585633a048ce4e (diff) | |
| download | dabmux-c0788a90a0d6e047488980a2ad5bb4f9cf108682.tar.gz dabmux-c0788a90a0d6e047488980a2ad5bb4f9cf108682.tar.bz2 dabmux-c0788a90a0d6e047488980a2ad5bb4f9cf108682.zip | |
Take BufferManagement setting into account
Diffstat (limited to 'gui/muxrc.py')
0 files changed, 0 insertions, 0 deletions