Diffusion FreeBSD ports repository rP393189

- Strip binaries
rP393189
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

Strip binaries

Details

Provenance

Authored on

Parents

rP393188: CLI utilities and wrappers for FreeBSD's bugzilla

Branches

Unknown

Tags

Unknown

Event Timeline

AMDmi3 committed rP393189: - Strip binaries.Jul 29 2015, 5:49 PM

Changes (1)

Path

Size

head/

math/

why3/

rP393189

head/math/why3/Makefile

Loading...