diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-04-09 08:53:58 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-04-09 08:53:58 +0200 |
| commit | 14b46c3ee7aa860d349bcf8418b6ad35715c9ec4 (patch) | |
| tree | aa6aa02fb1848eba973ff5cb2e0ccb590b9deb05 /.gitignore | |
| parent | a8ebc5fafcd0c200b960015f7a33ce71d1689a7f (diff) | |
transform nimbuzz workaround into a more general 'waitForDisco' condition
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions