Ivan Grokhotkov 7ecdb1bb27 ci, examples: use sdkconfig.ci as an extra defaults file, if present
- Allows placing CI-specific settings into sdkconfig.ci file
- Allows substituting environment variables in sdkconfig.ci
2018-12-10 16:29:24 +08:00
..
2018-12-06 09:34:33 +01:00
2018-12-06 09:34:33 +01:00
2018-12-06 09:34:33 +01:00