diff options
| author | tv <tv@krebsco.de> | 2017-12-12 18:50:36 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-12-12 18:50:36 +0100 |
| commit | 7838e709d149b9bf33c542a7451e235a61a29a21 (patch) | |
| tree | d76939fc625bb66518fd1dd34209a9dff96603c5 /makefu/5pkgs/arduino-user-env | |
| parent | 7b38d1a8219ff7cfa39202ff17f1c92bd799c9b0 (diff) | |
krebs.backup: restartIfChanged = false
Diffstat (limited to 'makefu/5pkgs/arduino-user-env')
0 files changed, 0 insertions, 0 deletions