diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-01-06 16:22:40 +0100 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2017-01-06 16:22:40 +0100 |
| commit | 2dac8f5fa6d63a71a726ec373af9bf45f22de8b7 (patch) | |
| tree | 3ba060598ad471018d324dff427490ab681c57df /.gitignore | |
| parent | 3633bcc99aedda5d9ea36c143fa339139c763d3e (diff) | |
| download | dabmod-2dac8f5fa6d63a71a726ec373af9bf45f22de8b7.tar.gz dabmod-2dac8f5fa6d63a71a726ec373af9bf45f22de8b7.tar.bz2 dabmod-2dac8f5fa6d63a71a726ec373af9bf45f22de8b7.zip | |
EDI: handle pseq resync and SIGINT
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions