Merge pull request #2454 from clumens/blank-line
Low: tools: If there are no nodes, don't add an extra blank line.
Description
Description
Details
Details
- Provenance
kgaillot Authored on Aug 3 2021, 12:35 PM GitHub <noreply@github.com> Committed on Aug 3 2021, 12:35 PM - Parents
- rP0055c178cf5e: Low: tools: If there are no nodes, don't add an extra blank line.
rP6f013fcbebb5: Merge pull request #2449 from kgaillot/scheduler - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes