Merge pull request #1134 from jnpkrn/maint-omit-scratch
Maint: scratch.c is only useful when developing
Description
Description
Details
Details
- Provenance
kgaillot Authored on Aug 25 2016, 10:19 AM GitHub <noreply@github.com> Committed on Aug 25 2016, 10:19 AM - Parents
- rPad3012abdd24: Maint: scratch.c is only useful when developing
rP6660866c8d36: Merge pull request #1133 from kgaillot/fixes - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes