Merge pull request #2428 from kgaillot/build
Minor changes to RPMs and development helpers
Description
Description
Details
Details
- Provenance
kgaillot Authored on Jul 2 2021, 10:51 AM GitHub <noreply@github.com> Committed on Jul 2 2021, 10:51 AM - Parents
- rPcb2720709910: Devel: scratch: move scratch.c to devel/ subdirectory
rP0a2fd498e7e3: Merge pull request #2425 from clumens/misc-fixes - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes