diff options
author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-05-30 15:50:35 +0200 |
---|---|---|
committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-05-30 15:56:44 +0200 |
commit | e06da304f57c46bb91c2be0cc2335e6c064f53b0 (patch) | |
tree | 15d5527a811ce1f2fbe10a1d082dff6f1eaaadc6 /src/experiment-player.h | |
parent | f5fac5463a010e384bcfd29dc7e55895b1afdeff (diff) | |
download | experiment-player-e06da304f57c46bb91c2be0cc2335e6c064f53b0.tar.gz |
small optimization of the quick-open feature
Diffstat (limited to 'src/experiment-player.h')
0 files changed, 0 insertions, 0 deletions