moonbridge
diff Makefile @ 275:d4fdc4ed4d81
Avoid duplicate shutdown
author | jbe |
---|---|
date | Tue Jun 06 17:56:00 2017 +0200 (2017-06-06) |
parents | 446db91762b7 |
children | 5fe68ba5fe0e |
line diff
author | jbe |
---|---|
date | Tue Jun 06 17:56:00 2017 +0200 (2017-06-06) |
parents | 446db91762b7 |
children | 5fe68ba5fe0e |